Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- short-paperJuly 2019
JQF: coverage-guided property-based testing in Java
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 398–401https://doi.org/10.1145/3293882.3339002We present JQF, a platform for performing coverage-guided fuzz testing in Java. JQF is designed both for practitioners, who wish to find bugs in Java programs, as well as for researchers, who wish to implement new fuzzing algorithms.
Practitioners ...
- short-paperJuly 2019
CoCoTest: collaborative crowdsourced testing for Android applications
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 390–393https://doi.org/10.1145/3293882.3339000Testing Android applications is becoming more and more challenging due to the notorious fragmentation issues and the complexity of usage scenarios in different environments. Crowdsourced testing has grown as a trend, especially in mobile application ...
- research-articleJuly 2019
Some challenges for software testing research (invited talk paper)
- Nadia Alshahwan,
- Andrea Ciancone,
- Mark Harman,
- Yue Jia,
- Ke Mao,
- Alexandru Marginean,
- Alexander Mols,
- Hila Peleg,
- Federica Sarro,
- Ilya Zorin
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 1–3https://doi.org/10.1145/3293882.3338991This paper outlines 4 open challenges for Software Testing in general and Search Based Software Testing in particular, arising from our experience with the Sapienz System Deployment at Facebook. The challenges may also apply more generally, thereby ...
- research-articleJuly 2019
On the correctness of GPU programs
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 443–447https://doi.org/10.1145/3293882.3338989Testing is an important and challenging part of software development and its effectiveness depends on the quality of test cases. However, there exists no means of measuring quality of tests developed for GPU programs and as a result, no test case ...
- research-articleJuly 2019
Identifying error code misuses in complex system
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 428–432https://doi.org/10.1145/3293882.3338986Many complex software systems use error codes to differentiate error states. Therefore, it is crucial to ensure those error codes are used correctly. Misuses of error codes can lead to hardly sensible but fatal system failures. These errors are ...
-
- research-articleJuly 2019
A new dimension of test quality: assessing and generating higher quality unit test cases
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 419–423https://doi.org/10.1145/3293882.3338984Unit tests form the first defensive line against the introduction of bugs in software systems. Therefore, their quality is of a paramount importance to produce robust and reliable software. To assess test quality, many organizations relies on metrics ...
- research-articleJuly 2019
Mining constraints for grammar fuzzing
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 415–418https://doi.org/10.1145/3293882.3338983Grammar-based fuzzing has been shown to significantly improve bug detection in programs with highly structured inputs. However, since grammars are largely handwritten, it is rarely used as a standalone technique in large-spectrum fuzzers as it requires ...
- research-articleJuly 2019
Continuous software performance assessment: detecting performance problems of software libraries on every build
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 410–414https://doi.org/10.1145/3293882.3338982Degradation of software performance can become costly for companies and developers, yet it is hardly assessed continuously. A strategy that would allow continuous performance assessment of software libraries is software microbenchmarking, which faces ...
- research-articleJuly 2019Distinguished Paper
Detecting memory errors at runtime with source-level instrumentation
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 341–351https://doi.org/10.1145/3293882.3330581The unsafe language features of C, such as low-level control of memory, often lead to memory errors, which can result in silent data corruption, security vulnerabilities, and program crashes. Dynamic analysis tools, which have been widely used for ...
Search-based test and improvement of machine-learning-based anomaly detection systems
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 158–168https://doi.org/10.1145/3293882.3330580Machine-learning-based anomaly detection systems can be vulnerable to new kinds of deceptions, known as training attacks, which exploit the live learning mechanism of these systems by progressively injecting small portions of abnormal data. The injected ...
- research-articleJuly 2019
DeepHunter: a coverage-guided fuzz testing framework for deep neural networks
- Xiaofei Xie,
- Lei Ma,
- Felix Juefei-Xu,
- Minhui Xue,
- Hongxu Chen,
- Yang Liu,
- Jianjun Zhao,
- Bo Li,
- Jianxiong Yin,
- Simon See
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 146–157https://doi.org/10.1145/3293882.3330579The past decade has seen the great potential of applying deep neural network (DNN) based software to safety-critical scenarios, such as autonomous driving. Similar to traditional software, DNNs could exhibit incorrect behaviors, caused by hidden defects,...
- research-articleJuly 2019Distinguished Paper
History-driven build failure fixing: how far are we?
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 43–54https://doi.org/10.1145/3293882.3330578Build systems are essential for modern software development and maintenance since they are widely used to transform source code artifacts into executable software. Previous work shows that build systems break frequently during software evolution. ...
TBar: revisiting template-based automated program repair
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 31–42https://doi.org/10.1145/3293882.3330577We revisit the performance of template-based APR to build comprehensive knowledge about the effectiveness of fix patterns, and to highlight the importance of complementary steps such as fault localization or donor code retrieval. To that end, we first ...
- research-articleJuly 2019
Semantic fuzzing with zest
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 329–340https://doi.org/10.1145/3293882.3330576Programs expecting structured inputs often consist of both a syntactic analysis stage, which parses raw input, and a semantic analysis stage, which conducts checks on the parsed input and executes the core logic of the program. Generator-based testing ...
- research-articleJuly 2019
TestMig: migrating GUI test cases from iOS to Android
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 284–295https://doi.org/10.1145/3293882.3330575Nowadays, Apple iOS and Android are two most popular platforms for mobile applications. To attract more users, many software companies and organizations are migrating their applications from one platform to the other, and besides source files, they also ...
- research-articleJuly 2019
DeepFL: integrating multiple fault diagnosis dimensions for deep fault localization
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 169–180https://doi.org/10.1145/3293882.3330574Learning-based fault localization has been intensively studied recently. Prior studies have shown that traditional Learning-to-Rank techniques can help precisely diagnose fault locations using various dimensions of fault-diagnosis features, such as ...
- research-articleJuly 2019
Assessing the state and improving the art of parallel testing for C
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 123–133https://doi.org/10.1145/3293882.3330573The execution latency of a test suite strongly depends on the degree of concurrency with which test cases are executed. However, if test cases are not designed for concurrent execution, they may interfere, causing result deviations compared to ...
- research-articleJuly 2019
Mining Android crash fixes in the absence of issue- and change-tracking systems
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 78–89https://doi.org/10.1145/3293882.3330572Android apps are prone to crash. This often arises from the misuse of Android framework APIs, making it harder to debug since official Android documentation does not discuss thoroughly potential exceptions.Recently, the program repair community has also ...
- research-articleJuly 2019
Root causing flaky tests in a large-scale industrial setting
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 101–111https://doi.org/10.1145/3293882.3330570In today’s agile world, developers often rely on continuous integration pipelines to help build and validate their changes by executing tests in an efficient manner. One of the significant factors that hinder developers’ productivity is flaky tests—...
- research-articleJuly 2019
Learning user interface element interactions
ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and AnalysisPages 296–306https://doi.org/10.1145/3293882.3330569When generating tests for graphical user interfaces, one central problem is to identify how individual UI elements can be interacted with—clicking, long- or right-clicking, swiping, dragging, typing, or more. We present an approach based on ...