Filters








17,214 Hits in 5.8 sec

Table of Contents

2021 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)  
Testing 1 1 µSE: Mutation-Based Evaluation of Security-Focused Static Analysis Tools for Android 53 Amit Seal Ami (William & Mary, USA), Kaushal Kafle (William & Mary, USA), Adwait Nadkarni (William &  ...  (University of Victoria) Artifact Evaluation JEST: N+1-Version Differential Testing of Both JavaScript Engines and Specification 156 Jihyeok Park (KAIST, South Korea), Seungmin An (KAIST, South  ... 
doi:10.1109/icse-companion52605.2021.00004 fatcat:7dfrtn6aevbmlf3ikg6gmifcw4

A Mutation Framework for Evaluating Security Analysis tools in IoT Applications [article]

Manar H. Alalfi, Sajeda Parveen, Bara Nazzal
2021 arXiv   pre-print
First, we propose a set of mutational operators tailored to evaluate three types of sensitivity analysis, flow, path and context sensitivity.  ...  Hence, this paper presents an automated framework to evaluate taint-flow analysis tools in the domain of IoT applications.  ...  [41] Android Mutation Framework Evaluate Android static analysis tools Java Evaluates Android static analysis tools Evaluate Android static analysis tools Klinger et al.  ... 
arXiv:2110.05562v1 fatcat:g7epw34mvjb25dasqhzbk4chve

FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis [article]

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro
2022 arXiv   pre-print
This Tracer generally manages the tool to record the goals covered and transfer the information between the engines by providing a shared memory to harness the power and take advantage of the power of  ...  Furthermore, Tracer evaluates test cases dynamically to convert high-impact cases into seeds for subsequent test fuzzing.  ...  FuSeBMC v4 : v4 Improving code coverage with smart seeds via fuzzing and static analysis 5 Fig. 2 . 2 Fig.2. Comparison of Concolic execution and Fuzzing based on path exploration.  ... 
arXiv:2206.14068v1 fatcat:kpqsgvwikbhr3nplw4wqytfsae

AMOGA: A Static-Dynamic Model Generation Strategy for Mobile Apps Testing

Ibrahim-Anka Salihu, Rosziati Ibrahim, Bestoun S. Ahmed, Kamal Z. Zamli, Asmau Usman
2019 IEEE Access  
To address this issue, this paper proposes AMOGA, a strategy that uses a hybrid, static-dynamic approach for generating user interface model from mobile apps for model-based testing.  ...  Results of the experimental assessment showed that AMOGA represents an alternative approach for model-based testing of mobile apps by generating comprehensive models to improve the coverage of the applications  ...  We thank MOHE for the contribution and support, Grant number: RDU170103.  ... 
doi:10.1109/access.2019.2895504 fatcat:drb3l4tup5guhmcgulmriaw7fq

Analysing the program analyser

Cristian Cadar, Alastair F. Donaldson
2016 Proceedings of the 38th International Conference on Software Engineering Companion - ICSE '16  
The reliability of program analysis tools is clearly important if such tools are to play a serious role in improving the quality and integrity of software systems, and the confidence which users place  ...  Inspired by recent advances in compiler testing, we set out initial steps towards this vision, building upon techniques such as cross-checking, program transformation and program generation.  ...  via EP/L002795/1.  ... 
doi:10.1145/2889160.2889206 dblp:conf/icse/CadarD25 fatcat:6hjyekn4onf6ra6fisjuvhfdha

Investigating Software Testability and Test cases Effectiveness [article]

Mamdouh Alenezi
2022 arXiv   pre-print
This study investigates the relationship between static code and test metrics and testability and test cases effectiveness. The study answers three formulated research questions.  ...  The results of the analysis showed that size and complexity metrics are suitable for predicting the testability of object-oriented classes.  ...  Static analysis techniques are used to collect such metrics to enable the exploration and analysis of the source code [16] .  ... 
arXiv:2201.10090v1 fatcat:mi44wm7mgvb4lkmy6n7w2o76c4

Quantitative program slicing: Separating statements by relevance

Raul Santelices, Yiji Zhang, Siyuan Jiang, Haipeng Cai, Ying-jie Zhang
2013 2013 35th International Conference on Software Engineering (ICSE)  
Q-slicing helps users and tools focus their attention first on the parts of slices that matter the most.  ...  We present two methods for quantifying slices and we show the promise of q-slicing for a particular application: predicting the impacts of changes.  ...  DYNAMIC QUANTIFICATION Given a representative test suite, we can quantify slices via differential execution analysis [2] and sensitivity analysis [9] . A.  ... 
doi:10.1109/icse.2013.6606695 dblp:conf/icse/SantelicesZJCZ04 fatcat:jaw2ntn7aradboxjcwwobfmoti

Exploratory Review of Hybrid Fuzzing for Automated Vulnerability Detection

Fayozbek Rustamov, Juhwan Kim, Jihyeon Yu, Joobeom Yun
2021 IEEE Access  
tools, problems, and solutions that have been developed in this sphere.  ...  It also includes evaluations of the proposed approaches and a number of suggestions for the development of hybrid fuzzing in the future.  ...  Static analysis involves determining the path in the basic block located in the function call chain via the control flow graph analysis and function call relationship.  ... 
doi:10.1109/access.2021.3114202 fatcat:6yvqxkcqcvg5xl4g2bjf6ndsue

Don't Unroll Adjoint: Differentiating SSA-Form Programs [article]

Michael Innes
2019 arXiv   pre-print
We discuss the benefits of this approach to both the usability and performance of AD tools.  ...  The approach can support control flow, nesting, mutation, recursion, data structures, higher-order functions, and other language constructs, and the output is given to an existing compiler to produce highly  ...  The manuscript was also much improved through feedback from Simon Byrne, Elliot Saba and Deniz Yuret.  ... 
arXiv:1810.07951v4 fatcat:hnmncykba5ft5oqjj5t5h2wbcq

Using combinatorial benchmark construction to improve the assessment of concurrency bug detection tools

Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, David Kelk
2012 Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging - PADTAD 2012  
Specific combinations of the model parameters define different interleaving spaces, thus differentiating between different test tools.  ...  In this paper we present our combinatorial model for creating a benchmark, we propose a new concurrency benchmark and we discuses the relationship between our new benchmarks and existing benchmarks.  ...  In particular, we have focused on a benchmark that is capable of differentiating between different concurrency testing tools, static analysis tools and model checking tools.  ... 
doi:10.1145/2338967.2336812 dblp:conf/issta/BradburySFJK12 fatcat:tjqomxlxirherljprnknlp2raa

The Progress, Challenges, and Perspectives of Directed Greybox Fuzzing [article]

Pengfei Wang and Xu Zhou and Kai Lu and Tai Yue and Yingying Liu
2022 arXiv   pre-print
A thorough assessment of the collected tools is conducted so as to systemise recent progress in this field. Finally, it summarises the challenges and provides perspectives for future research.  ...  Most greybox fuzzing tools are coverage-guided as code coverage is strongly correlated with bug coverage.  ...  Acknowledgement The authors would like to sincerely thank all the reviewers for your time and expertise on this paper. Your insightful comments help us improve this work.  ... 
arXiv:2005.11907v4 fatcat:dfoejnfw4jfobj4ejghpcgksji

Validation of a multicellular tumor microenvironment system for modeling patient tumor biology and drug response

Devin G. Roller, Stephen A. Hoang, Kristopher D. Rawls, Katherine A. Owen, Michael B. Simmers, Robert A. Figler, Julia D. Wulfkuhle, Emanuel F. Petricoin, Brian R. Wamhoff, Daniel Gioeli
2021 Scientific Reports  
This work further validates the TMES for modeling patient tumor biology and drug response indicating utility of the TMES as a predictive tool for drug discovery and development and potential for use as  ...  an in-vivo like biological state and predicts drug response to EGFR inhibitors.  ...  Gioeli, Jameson, Bouton, Dudley, Kashatus, Park, Rutkowski, Smith, and Zong for helpful discussions. We thank the team at HemoShear Therapeutics and Garnett Mingledorff for technical assistance.  ... 
doi:10.1038/s41598-021-84612-z pmid:33692370 pmcid:PMC7946945 fatcat:drzsje25rzhhpdqljxypnxx5nu

A special prognostic indicator: tumor mutation burden combined with immune infiltrates in lung adenocarcinoma with TP53 mutation

Jing Fu, Yaonan Li, Cuidan Li, Yuyang Tong, Mengyuan Li, Shundong Cang
2021 Translational Cancer Research  
and Gene Set Enrichment Analysis.  ...  Differentially expressed genes (DEGs) between the two TMB groups were identified using "limma" package, and functional analyses were performed by Kyoto Encyclopedia of Genes and Genomes, Gene Ontology,  ...  Acknowledgments We acknowledge TCGA database for providing their platforms and contributors for uploading their meaningful datasets. We would like to thank Dr.  ... 
doi:10.21037/tcr-21-565 pmid:35116695 pmcid:PMC8797931 fatcat:enpkhs546bgybms7n662bt6kqm

ConPredictor: Concurrency Defect Prediction in Real-World Applications

Tingting Yu, Wei Wen, Xue Han, Jane Hayes
2018 IEEE Transactions on Software Engineering  
We also leverage additional guidance from dynamic metrics constructed based on mutation analysis.  ...  Our evaluation on four large open source projects shows that ConPredictor improved both within-project defect prediction and cross-project defect prediction compared to traditional features.  ...  ACKNOWLEDGMENTS This work was supported in part by NSF grants CCF-1464032, CCF-1652149, and CCF-1511117.  ... 
doi:10.1109/tse.2018.2791521 fatcat:3ljq4x7s2za6jkmdumuy66lz54

Semantic Fuzzing with Zest [article]

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
2019 arXiv   pre-print
We implement Zest in Java and evaluate it against AFL and QuickCheck on five real-world benchmarks: Maven, Ant, BCEL, the Google Closure compiler, and Mozilla Rhino.  ...  But often, to effectively explore the semantic analysis stage, these tools require tedious manual tuning of the generators.  ...  It relies on call graphs obtained from wholeprogram static analysis, which can be difficult to compute precisely in our ecosystem. Zest is purely a dynamic analysis tool.  ... 
arXiv:1812.00078v2 fatcat:gutor7pgojcaxlnwjvpqms4zea
« Previous Showing results 1 — 15 out of 17,214 results