default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th ISSTA 2016: Saarbrücken, Germany
- Andreas Zeller, Abhik Roychoudhury:
Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016. ACM 2016, ISBN 978-1-4503-4390-9
The Web
- Ibéria Medeiros
, Nuno Ferreira Neves, Miguel Correia:
DEKANT: a static analysis tool that learns to detect web application vulnerabilities. 1-11 - Sadeeq Jan, Cu D. Nguyen, Lionel C. Briand:
Automated and effective testing of web services for XML injection attacks. 12-23
Static Analysis
- Xiaozhu Meng, Barton P. Miller:
Binary code is not easy. 24-35 - Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion:
Specification of concretization and symbolization policies in symbolic execution. 36-46 - Sudhir Samrit, Rupesh Nasre:
EagerMerge: an optimistic technique for efficient points-to analysis. 47-58 - Peng Liu, Omer Tripp, Xiangyu Zhang:
IPA: improving predictive analysis with pointer analysis. 59-69
Test Generation
- Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, Arpit Christi:
Generating focused random tests using directed swarm testing. 70-81 - Markus Ermuth, Michael Pradel:
Monkey see, monkey do: effective generation of GUI tests with inferred macro events. 82-93 - Ke Mao, Mark Harman, Yue Jia:
Sapienz: multi-objective automated testing for Android applications. 94-105 - Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara:
FSX: fine-grained incremental unit test generation for C/C++ programs. 106-117
Testing Processes
- Valerio Terragni, Yepang Liu, Shing-Chi Cheung:
CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites. 118-129 - Fabio Palomba, Annibale Panichella, Andy Zaidman, Rocco Oliveto, Andrea De Lucia:
Automatic test case generation: what if test code quality matters? 130-141 - Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller:
Analyzing test completeness for dynamic languages. 142-153 - Jan Schroeder, Christian Berger, Miroslaw Staron, Thomas Herpel, Alessia Knauss:
Unveiling anomalies and their impact on software quality in model-based automotive software revisions with software metrics and domain experts. 154-164
Debugging and Repair
- Pavneet Singh Kochhar, Xin Xia, David Lo, Shanping Li:
Practitioners' expectations on automated fault localization. 165-176 - Tien-Duy B. Le, David Lo, Claire Le Goues, Lars Grunske:
A learning-to-rank based fault localization approach using likely invariants. 177-188 - Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan:
Optimal sanitization synthesis for web application vulnerability repair. 189-200 - Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster:
ARROW: automated repair of races on client-side web pages. 201-212
Oracles
- Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè:
Automatic generation of oracles for exceptional behaviors. 213-224 - Mikael Fagerström, Emre Emir Ismail, Grischa Liebel, Rohit Guliani, Fredrik Larsson, Karin Nordling, Eric Knauss, Patrizio Pelliccione:
Verdict machinery: on the need to automatically make sense of test results. 225-234 - Matthew Patrick, Andrew P. Craig, Nik J. Cunniffe, Matthew Parry, Christopher A. Gilligan:
Testing stochastic software using pseudo-oracles. 235-246 - Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella:
Test oracle assessment and improvement. 247-258
Program Understanding
- David H. White, Thomas Rupprecht, Gerald Lüttgen:
DSI: an evidence-based approach to identify dynamic data structures in C programs. 259-269 - Mario Linares Vásquez, Boyang Li, Christopher Vendome, Denys Poshyvanyk:
Documenting database usages and schema constraints in database-centric applications. 270-281 - Carl Chapman, Kathryn T. Stolee:
Exploring regular expression usage and context in Python. 282-293 - Chengnian Sun, Vu Le, Qirun Zhang, Zhendong Su:
Toward understanding compiler bugs in GCC and LLVM. 294-305
Android
- Guozhu Meng, Yinxing Xue, Zhengzi Xu, Yang Liu, Jie Zhang, Annamalai Narayanan:
Semantic modelling of Android malware for effective malware comprehension, detection, and classification. 306-317 - Li Li, Tegawendé F. Bissyandé, Damien Octeau, Jacques Klein:
DroidRA: taming reflection to support whole-program analysis of Android apps. 318-329
Mutation Testing
- David Bowes, Tracy Hall, Mark Harman, Yue Jia, Federica Sarro, Fan Wu:
Mutation-aware fault prediction. 330-341 - Jie Zhang, Ziyi Wang, Lingming Zhang, Dan Hao, Lei Zang, Shiyang Cheng, Lu Zhang:
Predictive mutation testing. 342-353 - Mike Papadakis, Christopher Henard, Mark Harman, Yue Jia, Yves Le Traon:
Threats to the validity of mutation-based test assessment. 354-365
Concurrency
- Anirudh Santhiar, Shalini Kaleeswaran, Aditya Kanade:
Efficient race detection in the presence of programmatic event loops. 366-376 - Yongjian Hu, Iulian Neamtiu, Arash Alavi:
Automatically verifying and reproducing event-based races in Android apps. 377-388 - Tingting Yu, Michael Pradel:
SyncProf: detecting, localizing, and optimizing synchronization bottlenecks. 389-400
Performance
- Robert Locke Callan, Farnaz Behrang, Alenka G. Zajic, Milos Prvulovic, Alessandro Orso:
Zero-overhead profiling via EM emanations. 401-412 - Rashmi Mudduluru, Murali Krishna Ramanathan:
Efficient flow profiling for detecting performance bugs. 413-424 - Reyhaneh Jabbarvand Behrouz, Alireza Sadeghi, Hamid Bagheri, Sam Malek:
Energy-aware test-suite minimization for Android apps. 425-436
Demonstration Papers
- Pascal André, Jean-Marie Mottu, Gerson Sunyé:
COSTOTest: a tool for building and running test harness for service-based component models (demo). 437-440 - Matias Martinez, Martin Monperrus:
ASTOR: a program repair library for Java (demo). 441-444 - Adel Noureddine, Syed Islam, Rabih Bashroush:
Jolinar: analysing the energy footprint of software applications (demo). 445-448 - Henry Coles, Thomas Laurent, Christopher Henard, Mike Papadakis, Anthony Ventresque:
PIT: a practical mutation testing tool for Java (demo). 449-452
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-21 19:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
