Abstract is missing.
- Localizing Faults in SQL PredicatesYun Guo, Amihai Motro, Nan Li. 1-11 [doi]
- Prevalence of Single-Fault Fixes and Its Impact on Fault LocalizationAlexandre Perez, Rui Abreu, Marcelo d'Amorim. 12-22 [doi]
- FIFA: A Kernel-Level Fault Injection Framework for ARM-Based Embedded Linux SystemEunJin Jeong, Namgoo Lee, Jinhan Kim, Duseok Kang, Soonhoi Ha. 23-34 [doi]
- Using Delta Debugging to Minimize Stress Tests for Concurrent Data StructuresJing Xu, Yu Lei, Richard H. Carver. 35-46 [doi]
- The Theory of Composite FaultsRahul Gopinath, Carlos Jensen, Alex Groce. 47-57 [doi]
- Symbolic Complexity Analysis Using Context-Preserving HistoriesKasper Søe Luckow, Rody Kersten, Corina S. Pasareanu. 58-68 [doi]
- Coveringcerts: Combinatorial Methods for X.509 Certificate TestingKristoffer Kleine, Dimitris E. Simos. 69-79 [doi]
- Recovering Semantic Traceability Links between APIs and Security Vulnerabilities: An Ontological Modeling ApproachSultan S. Al-Qahtani, Ellis E. Eghan, Juergen Rilling. 80-91 [doi]
- Mining Sandboxes for Linux ContainersZhi-Yuan Wan, David Lo, Xin Xia, Liang Cai, Shanping Li. 92-102 [doi]
- Perphecy: Performance Regression Test Selection Made Simple but EffectiveAugusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney. 103-113 [doi]
- A Selection Method for Black Box Regression Testing with a Statistically Defined Quality LevelIbrahim Alagöz, Thomas Herpel, Reinhard German. 114-125 [doi]
- Private API Access and Functional Mocking in Automated Unit Test GenerationAndrea Arcuri, Gordon Fraser, René Just. 126-137 [doi]
- Using Semantic Similarity in Crawling-Based Web Application TestingJun-Wei Lin, Farn Wang, Paul Chu. 138-148 [doi]
- Barista: A Technique for Recording, Encoding, and Running Platform Independent Android TestsMattia Fazzini, Eduardo Noronha de A. Freitas, Shauvik Roy Choudhary, Alessandro Orso. 149-160 [doi]
- ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile ApplicationsXiao Li, Nana Chang, Yan Wang, Haohua Huang, Yu Pei 0002, Linzhang Wang, Xuandong Li. 161-171 [doi]
- Automated Testing of Definition-Use Data Flow for Multithreaded ProgramsXiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao, Ting Liu. 172-183 [doi]
- IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely InvariantsAbraham Chan, Stefan Winter, Habib Saissi, Karthik Pattabiraman, Neeraj Suri. 184-195 [doi]
- Verifying Concurrent Programs Using ContractsRicardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar. 196-206 [doi]
- Are There Any Unit Tests? An Empirical Study on Unit Testing in Open Source Python ProjectsFabian Trautsch, Jens Grabowski. 207-218 [doi]
- Broadcast vs. Unicast Review Technology: Does It Matter?Foundjem Armstrong, Foutse Khomh, Bram Adams. 219-229 [doi]
- JavaScript: The (Un)Covered PartsAmin Milani Fard, Ali Mesbah 0001. 230-240 [doi]
- Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic ExecutionHayes Converse, Oswaldo Olivo, Sarfraz Khurshid. 241-252 [doi]
- Uncertainty-Driven Black-Box Test Data GenerationNeil Walkinshaw, Gordon Fraser. 253-263 [doi]
- Automated Test Generation and Mutation Testing for AlloyAllison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid. 264-275 [doi]
- Model-Based Testing IoT Communication via Active Automata LearningMartin Tappler, Bernhard K. Aichernig, Roderick Bloem. 276-287 [doi]
- Model-Based API Testing of Apache ZooKeeperCyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. 288-298 [doi]
- System Testing of Timing Requirements Based on Use Cases and Timed AutomataChunhui Wang, Fabrizio Pastore, Lionel C. Briand. 299-309 [doi]
- Efficient Incrementalized Runtime Checking of Linear Measures on ListsAlex Gyori, Pranav Garg 0001, Edgar Pek, P. Madhusudan. 310-320 [doi]
- Behavioral Execution Comparison: Are Tests Representative of Field Behavior?Qianqian Wang, Yuriy Brun, Alessandro Orso. 321-332 [doi]
- Automated Random Testing in Multiple Dispatch LanguagesSimon M. Poulding, Robert Feldt. 333-344 [doi]
- The Fitness Function for the Job: Search-Based Generation of Test Suites That Detect Real FaultsGregory Gay. 345-355 [doi]
- A Search-Based Testing Approach for XML Injection Vulnerabilities in Web ApplicationsSadeeq Jan, Cu D. Nguyen, Andrea Arcuri, Lionel C. Briand. 356-366 [doi]
- CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-Objective Test OptimizationDipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue 0002, Marius Liaaen. 367-378 [doi]
- Incremental Deductive Verification for Relational Model TransformationsZheng Cheng, Massimo Tisi. 379-389 [doi]
- Statistical Model Checking Meets Property-Based TestingBernhard K. Aichernig, Richard Schumi. 390-400 [doi]
- Timed k-Tail: Automatic Inference of Timed AutomataFabrizio Pastore, Daniela Micucci, Leonardo Mariani. 401-411 [doi]
- A Comparative Study of Manual and Automated Testing for Industrial Control SoftwareEduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Paul Pettersson. 412-417 [doi]
- How Do Assertions Impact Coverage-Based Test-Suite Reduction?Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie. 418-423 [doi]
- Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical EvaluationXavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. 424-429 [doi]
- Assessing and Improving the Mutation Testing Practice of PITThomas Laurent, Mike Papadakis, Marinos Kintis, Christopher Henard, Yves Le Traon, Anthony Ventresque. 430-435 [doi]
- Generic and Effective Specification of Structural Test ObjectivesMichaël Marcozzi, Mickaël Delahaye, Sébastien Bardin, Nikolai Kosmatov, Virgile Prevosto. 436-441 [doi]
- Ariadne: Hybridizing Directed Model Checking and Static AnalysisReed Milewicz, Peter Pirkelbauer. 442-447 [doi]
- A Toolkit for Testing Stochastic Simulations against Statistical OraclesMatthew Patrick, Ruairi Donnelly, Christopher A. Gilligan. 448-453 [doi]
- O!Snap: Cost-Efficient Testing in the CloudAlessio Gambi, Alessandra Gorla, Andreas Zeller. 454-459 [doi]
- Accelerating Test Automation through a Domain Specific LanguageAnurag Dwarakanath, Dipin Era, Aditya Priyadarshi, Neville Dubash, Sanjay Podder. 460-467 [doi]
- Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model CheckingPriyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh. 468-475 [doi]
- NuSeen: A Tool Framework for the NuSMV Model CheckerPaolo Arcaini, Angelo Gargantini, Elvinia Riccobene. 476-483 [doi]
- Transferring State-of-the-Art Immutability Analyses: Experimentation Toolbox and Accuracy BenchmarkBenjamin Holland, Ganesh Ram Santhanam, Suresh Kothari. 484-491 [doi]
- NIVAnalyzer: A Tool for Automatically Detecting and Verifying Next-Intent Vulnerabilities in Android AppsJunjie Tang, Xingmin Cui, Ziming Zhao, Shanqing Guo, Xin-Shun Xu, Chengyu Hu, Tao Ban, Bing Mao. 492-499 [doi]
- Taming Coverage Criteria Heterogeneity with LTestMichaël Marcozzi, Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Virgile Prevosto. 500-507 [doi]
- Test Design as Code: JCUnitHiroshi Ukai, Xiao Qu. 508-515 [doi]
- SAGA Toolbox: Interactive Testing of Guarded AssertionsDaniel Flemström, Thomas Gustafsson, Avenir Kobetski. 516-523 [doi]
- TITAN: Test Suite Optimization for Highly Configurable SoftwareDusica Marijan, Marius Liaaen, Arnaud Gotlieb, Sagar Sen, Carlo Ieva. 524-531 [doi]
- ADRENALIN-RV: Android Runtime Verification Using Load-Time WeavingHaiyang Sun, Andrea Rosà, Omar Javed, Walter Binder. 532-539 [doi]
- Towards a Testbed for Automotive CybersecurityDaniel S. Fowler, Madeline Cheah, Siraj Ahmed Shaikh, Jeremy Bryans. 540-541 [doi]
- How to Test in Sixteen Languages? Automation Support for Localization TestingRudolf Ramler, Robert Hoschek. 542-543 [doi]
- Information Needs for Validating Evolving Software Systems: An Exploratory Study at GoogleAbdullah Al-Nayeem, Krzysztof Ostrowski, Sebastian Pueblas, Christophe Restif, Sai Zhang. 544-545 [doi]
- A Controlled Experiment on Coverage Maximization of Automated Model-Based Software Test Cases in the Automotive IndustryRashid Darwish, Lynnie Nakyanzi Gwosuta, Richard Torkar. 546-547 [doi]
- An Industrial Study of Natural Language Processing Based Test Case PrioritizationYilin Yang, Xinhai Huang, Xuefei Hao, Zicong Liu, Zhenyu Chen. 548-549 [doi]
- Overview of the ICST International Software Testing ContestEmil Alégroth, Shinsuke Matsuki, Tanja E. J. Vos, Kinji Akemine. 550-551 [doi]
- Localizing and Fixing Faults in SQL PredicatesYun Guo. 555-556 [doi]
- Debugging Multithreaded Programs Using Symbolic AnalysisXiaodong Zhang. 557-558 [doi]
- Automated and Scalable Mutation TestingThierry Titcheu Chekam. 559-560 [doi]
- A Framework for Failure DiagnosisMojdeh Golagha. 561-562 [doi]
- Enhancing Trust - Software Vulnerability Analysis FrameworkSultan S. Al-Qahtani. 563-564 [doi]
- Reflecting the Adoption of Software Testing Research in Open-Source ProjectsFabian Trautsch. 565-566 [doi]
- Abstraction Refinement for Non-Zeno Fairness Veri?cation of Linear Hybrid AutomataRyo Yanase. 567-568 [doi]