ISSTA A

42 papers

YearTitle / Authors
2016A learning-to-rank based fault localization approach using likely invariants.
Tien-Duy B. Le, David Lo, Claire Le Goues, Lars Grunske
2016ARROW: automated repair of races on client-side web pages.
Weihang Wang, Yunhui Zheng, Peng Liu, Lei Xu, Xiangyu Zhang, Patrick Eugster
2016ASTOR: a program repair library for Java (demo).
Matias Martinez, Martin Monperrus
2016Analyzing test completeness for dynamic languages.
Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
2016Automated and effective testing of web services for XML injection attacks.
Sadeeq Jan, Cu D. Nguyen, Lionel C. Briand
2016Automatic generation of oracles for exceptional behaviors.
Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè
2016Automatic test case generation: what if test code quality matters?
Fabio Palomba, Annibale Panichella, Andy Zaidman, Rocco Oliveto, Andrea De Lucia
2016Automatically verifying and reproducing event-based races in Android apps.
Yongjian Hu, Iulian Neamtiu, Arash Alavi
2016Binary code is not easy.
Xiaozhu Meng, Barton P. Miller
2016COSTOTest: a tool for building and running test harness for service-based component models (demo).
Pascal André, Jean-Marie Mottu, Gerson Sunyé
2016CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites.
Valerio Terragni, Yepang Liu, Shing-Chi Cheung
2016DEKANT: a static analysis tool that learns to detect web application vulnerabilities.
Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia
2016DSI: an evidence-based approach to identify dynamic data structures in C programs.
David H. White, Thomas Rupprecht, Gerald Lüttgen
2016Documenting database usages and schema constraints in database-centric applications.
Mario Linares Vásquez, Boyang Li, Christopher Vendome, Denys Poshyvanyk
2016DroidRA: taming reflection to support whole-program analysis of Android apps.
Li Li, Tegawendé F. Bissyandé, Damien Octeau, Jacques Klein
2016EagerMerge: an optimistic technique for efficient points-to analysis.
Sudhir Samrit, Rupesh Nasre
2016Efficient flow profiling for detecting performance bugs.
Rashmi Mudduluru, Murali Krishna Ramanathan
2016Efficient race detection in the presence of programmatic event loops.
Anirudh Santhiar, Shalini Kaleeswaran, Aditya Kanade
2016Energy-aware test-suite minimization for Android apps.
Reyhaneh Jabbarvand Behrouz, Alireza Sadeghi, Hamid Bagheri, Sam Malek
2016Exploring regular expression usage and context in Python.
Carl Chapman, Kathryn T. Stolee
2016FSX: fine-grained incremental unit test generation for C/C++ programs.
Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara
2016Generating focused random tests using directed swarm testing.
Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, Arpit Christi
2016IPA: improving predictive analysis with pointer analysis.
Peng Liu, Omer Tripp, Xiangyu Zhang
2016Jolinar: analysing the energy footprint of software applications (demo).
Adel Noureddine, Syed Islam, Rabih Bashroush
2016Monkey see, monkey do: effective generation of GUI tests with inferred macro events.
Markus Ermuth, Michael Pradel
2016Mutation-aware fault prediction.
David Bowes, Tracy Hall, Mark Harman, Yue Jia, Federica Sarro, Fan Wu
2016Optimal sanitization synthesis for web application vulnerability repair.
Fang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan
2016PIT: a practical mutation testing tool for Java (demo).
Henry Coles, Thomas Laurent, Christopher Henard, Mike Papadakis, Anthony Ventresque
2016Practitioners' expectations on automated fault localization.
Pavneet Singh Kochhar, Xin Xia, David Lo, Shanping Li
2016Predictive mutation testing.
Jie Zhang, Ziyi Wang, Lingming Zhang, Dan Hao, Lei Zang, Shiyang Cheng, Lu Zhang
2016Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016
Andreas Zeller, Abhik Roychoudhury
2016Sapienz: multi-objective automated testing for Android applications.
Ke Mao, Mark Harman, Yue Jia
2016Semantic modelling of Android malware for effective malware comprehension, detection, and classification.
Guozhu Meng, Yinxing Xue, Zhengzi Xu, Yang Liu, Jie Zhang, Annamalai Narayanan
2016Specification of concretization and symbolization policies in symbolic execution.
Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion
2016SyncProf: detecting, localizing, and optimizing synchronization bottlenecks.
Tingting Yu, Michael Pradel
2016Test oracle assessment and improvement.
Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella
2016Testing stochastic software using pseudo-oracles.
Matthew Patrick, Andrew P. Craig, Nik J. Cunniffe, Matthew Parry, Christopher A. Gilligan
2016Threats to the validity of mutation-based test assessment.
Mike Papadakis, Christopher Henard, Mark Harman, Yue Jia, Yves Le Traon
2016Toward understanding compiler bugs in GCC and LLVM.
Chengnian Sun, Vu Le, Qirun Zhang, Zhendong Su
2016Unveiling anomalies and their impact on software quality in model-based automotive software revisions with software metrics and domain experts.
Jan Schroeder, Christian Berger, Miroslaw Staron, Thomas Herpel, Alessia Knauss
2016Verdict machinery: on the need to automatically make sense of test results.
Mikael Fagerström, Emre Emir Ismail, Grischa Liebel, Rohit Guliani, Fredrik Larsson, Karin Nordling, Eric Knauss, Patrizio Pelliccione
2016Zero-overhead profiling via EM emanations.
Robert Locke Callan, Farnaz Behrang, Alenka G. Zajic, Milos Prvulovic, Alessandro Orso