An analysis and survey of the development of mutation testing
Mutation Testing is a fault-based software testing technique that has been widely studied for
over three decades. The literature on Mutation Testing has contributed a set of approaches …
over three decades. The literature on Mutation Testing has contributed a set of approaches …
Black box fairness testing of machine learning models
Any given AI system cannot be accepted unless its trustworthiness is proven. An important
characteristic of a trustworthy AI system is the absence of algorithmic bias.'Individual …
characteristic of a trustworthy AI system is the absence of algorithmic bias.'Individual …
[PDF][PDF] Klee: unassisted and automatic generation of high-coverage tests for complex systems programs.
We present a new symbolic execution tool, KLEE, capable of automatically generating tests
that achieve high coverage on a diverse set of complex and environmentally-intensive …
that achieve high coverage on a diverse set of complex and environmentally-intensive …
S2E: A platform for in-vivo multi-path analysis of software systems
This paper presents S2E, a platform for analyzing the properties and behavior of software
systems. We demonstrate S2E's use in developing practical tools for comprehensive …
systems. We demonstrate S2E's use in developing practical tools for comprehensive …
Appintent: Analyzing sensitive data transmission in android for privacy leakage detection
Android phones often carry personal information, attracting malicious developers to embed
code in Android applications to steal sensitive data. With known techniques in the literature …
code in Android applications to steal sensitive data. With known techniques in the literature …
Savior: Towards bug-driven hybrid testing
Hybrid testing combines fuzz testing and concolic execution. It leverages fuzz testing to test
easy-to-reach code regions and uses concolic execution to explore code blocks guarded by …
easy-to-reach code regions and uses concolic execution to explore code blocks guarded by …
Whole test suite generation
Not all bugs lead to program crashes, and not always is there a formal specification to check
the correctness of a software test's outcome. A common scenario in software testing is …
the correctness of a software test's outcome. A common scenario in software testing is …
All you ever wanted to know about dynamic taint analysis and forward symbolic execution (but might have been afraid to ask)
EJ Schwartz, T Avgerinos… - 2010 IEEE symposium on …, 2010 - ieeexplore.ieee.org
Dynamic taint analysis and forward symbolic execution are quickly becoming staple
techniques in security analyses. Example applications of dynamic taint analysis and forward …
techniques in security analyses. Example applications of dynamic taint analysis and forward …
MODE: automated neural network model debugging via state differential analysis and input selection
Artificial intelligence models are becoming an integral part of modern computing systems.
Just like software inevitably has bugs, models have bugs too, leading to poor classification …
Just like software inevitably has bugs, models have bugs too, leading to poor classification …
[图书][B] Introduction to software testing
This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …
testing that defines it as the process of applying a few precise, general-purpose criteria to a …