Abstract is missing.
- DEKANT: a static analysis tool that learns to detect web application vulnerabilitiesIbéria Medeiros, Nuno Ferreira Neves, Miguel Correia. 1-11 [doi]
- Automated and effective testing of web services for XML injection attacksSadeeq Jan, Cu D. Nguyen, Lionel C. Briand. 12-23 [doi]
- Binary code is not easyXiaozhu Meng, Barton P. Miller. 24-35 [doi]
- Specification of concretization and symbolization policies in symbolic executionRobin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion. 36-46 [doi]
- EagerMerge: an optimistic technique for efficient points-to analysisSudhir Samrit, Rupesh Nasre. 47-58 [doi]
- IPA: improving predictive analysis with pointer analysisPeng Liu 0010, Omer Tripp, Xiangyu Zhang. 59-69 [doi]
- Generating focused random tests using directed swarm testingMohammad Amin Alipour, Alex Groce, Rahul Gopinath, Arpit Christi. 70-81 [doi]
- Monkey see, monkey do: effective generation of GUI tests with inferred macro eventsMarkus Ermuth, Michael Pradel. 82-93 [doi]
- Sapienz: multi-objective automated testing for Android applicationsKe Mao, Mark Harman, Yue Jia. 94-105 [doi]
- FSX: fine-grained incremental unit test generation for C/C++ programsHiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara. 106-117 [doi]
- CSNIPPEX: automated synthesis of compilable code snippets from Q&A sitesValerio Terragni, Yepang Liu, Shing-Chi Cheung. 118-129 [doi]
- Automatic test case generation: what if test code quality matters?Fabio Palomba, Annibale Panichella, Andy Zaidman, Rocco Oliveto, Andrea De Lucia. 130-141 [doi]
- Analyzing test completeness for dynamic languagesChristoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller. 142-153 [doi]
- Unveiling anomalies and their impact on software quality in model-based automotive software revisions with software metrics and domain expertsJan Schroeder, Christian Berger 0001, Miroslaw Staron, Thomas Herpel, Alessia Knauss. 154-164 [doi]
- Practitioners' expectations on automated fault localizationPavneet Singh Kochhar, Xin Xia, David Lo, Shanping Li. 165-176 [doi]
- A learning-to-rank based fault localization approach using likely invariantsTien-Duy B. Le, David Lo, Claire Le Goues, Lars Grunske. 177-188 [doi]
- Optimal sanitization synthesis for web application vulnerability repairFang Yu, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen, Bow-Yaw Wang, Tevfik Bultan. 189-200 [doi]
- ARROW: automated repair of races on client-side web pagesWeihang Wang, Yunhui Zheng, Peng Liu 0010, Lei Xu, Xiangyu Zhang, Patrick Eugster. 201-212 [doi]
- Automatic generation of oracles for exceptional behaviorsAlberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè. 213-224 [doi]
- Verdict machinery: on the need to automatically make sense of test resultsMikael Fagerström, Emre Emir Ismail, Grischa Liebel, Rohit Guliani, Fredrik Larsson, Karin Nordling, Eric Knauss, Patrizio Pelliccione. 225-234 [doi]
- Testing stochastic software using pseudo-oraclesMatthew Patrick, Andrew P. Craig, Nik J. Cunniffe, Matthew Parry, Christopher A. Gilligan. 235-246 [doi]
- Test oracle assessment and improvementGunel Jahangirova, David Clark, Mark Harman, Paolo Tonella. 247-258 [doi]
- DSI: an evidence-based approach to identify dynamic data structures in C programsDavid H. White 0001, Thomas Rupprecht, Gerald Lüttgen. 259-269 [doi]
- Documenting database usages and schema constraints in database-centric applicationsMario Linares Vásquez, Boyang Li, Christopher Vendome, Denys Poshyvanyk. 270-281 [doi]
- Exploring regular expression usage and context in PythonCarl Chapman, Kathryn T. Stolee. 282-293 [doi]
- Toward understanding compiler bugs in GCC and LLVMChengnian Sun, Vu Le, Qirun Zhang, Zhendong Su. 294-305 [doi]
- Semantic modelling of Android malware for effective malware comprehension, detection, and classificationGuozhu Meng, Yinxing Xue, Zhengzi Xu, Yang Liu, Jie Zhang, Annamalai Narayanan. 306-317 [doi]
- DroidRA: taming reflection to support whole-program analysis of Android appsLi Li 0029, Tegawendé F. Bissyandé, Damien Octeau, Jacques Klein. 318-329 [doi]
- Mutation-aware fault predictionDavid Bowes, Tracy Hall, Mark Harman, Yue Jia, Federica Sarro, Fan Wu. 330-341 [doi]
- Predictive mutation testingJie Zhang, Ziyi Wang, Lingming Zhang, Dan Hao, Lei Zang, Shiyang Cheng, Lu Zhang. 342-353 [doi]
- Threats to the validity of mutation-based test assessmentMike Papadakis, Christopher Henard, Mark Harman, Yue Jia, Yves Le Traon. 354-365 [doi]
- Efficient race detection in the presence of programmatic event loopsAnirudh Santhiar, Shalini Kaleeswaran, Aditya Kanade. 366-376 [doi]
- Automatically verifying and reproducing event-based races in Android appsYongjian Hu, Iulian Neamtiu, Arash Alavi. 377-388 [doi]
- SyncProf: detecting, localizing, and optimizing synchronization bottlenecksTingting Yu, Michael Pradel. 389-400 [doi]
- Zero-overhead profiling via EM emanationsRobert Callan, Farnaz Behrang, Alenka G. Zajic, Milos Prvulovic, Alessandro Orso. 401-412 [doi]
- Efficient flow profiling for detecting performance bugsRashmi Mudduluru, Murali Krishna Ramanathan. 413-424 [doi]
- Energy-aware test-suite minimization for Android appsReyhaneh Jabbarvand Behrouz, Alireza Sadeghi, Hamid Bagheri, Sam Malek. 425-436 [doi]
- COSTOTest: a tool for building and running test harness for service-based component models (demo)Pascal André, Jean-Marie Mottu, Gerson Sunyé. 437-440 [doi]
- ASTOR: a program repair library for Java (demo)Matias Martinez, Martin Monperrus. 441-444 [doi]
- Jolinar: analysing the energy footprint of software applications (demo)Adel Noureddine, Syed Islam, Rabih Bashroush. 445-448 [doi]
- PIT: a practical mutation testing tool for Java (demo)Henry Coles, Thomas Laurent, Christopher Henard, Mike Papadakis, Anthony Ventresque. 449-452 [doi]