Table of Contents

• A Controlled Experiment in Testing of Safety-Critical Embedded SoftwareEduard Paul Enoiu, Adnan Cauevic, Daniel Sundmark, Paul Pettersson. 1-11 [doi]
• Repeated Combinatorial Test Design - Unleashing the Potential in Multiple Testing IterationsItai Segall. 12-21 [doi]
• A Framework to Evaluate the Effectiveness of Different Load Testing Analysis TechniquesRuoyu Gao, Zhen Ming Jiang, Cornel Barna, Marin Litoiu. 22-32 [doi]
• Automatically Discovering, Reporting and Reproducing Android Application CrashesKevin Moran, Mario Linares Vásquez, Carlos Bernal-Cárdenas, Christopher Vendome, Denys Poshyvanyk. 33-44 [doi]
• Symbooglix: A Symbolic Execution Engine for Boogie ProgramsDaniel Liew, Cristian Cadar, Alastair F. Donaldson. 45-56 [doi]
• Nonconformity Resolving Recommendations for Product Line ConfigurationHong Lu, Tao Yue, Shaukat Ali, Li Zhang. 57-68 [doi]
• Using Exploration Focused Techniques to Augment Search-Based Software Testing: An Experimental EvaluationBogdan Marculescu, Robert Feldt, Richard Torkar. 69-79 [doi]
• Detecting Assumptions on Deterministic Implementations of Non-deterministic SpecificationsAugust Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov. 80-90 [doi]
• An Empirical Study on Detecting and Fixing Buffer Overflow BugsTao Ye, Lingming Zhang, Linzhang Wang, Xuandong Li. 91-101 [doi]
• Automatic Detection and Removal of Conformance Faults in Feature ModelsPaolo Arcaini, Angelo Gargantini, Paolo Vavassori. 102-112 [doi]
• Debugging without TestingWided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias. 113-123 [doi]
• Properties of Effective Metrics for Coverage-Based Statistical Fault LocalizationShih-Feng Sun, Andy Podgurski. 124-134 [doi]
• Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization ServiceJohn Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell. 135-145 [doi]
• Effective Partial Order Reduction in Model Checking Database ApplicationsMaryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui. 146-156 [doi]
• Canopus: A Domain-Specific Language for Modeling Performance TestingMaicon Bernardino, Avelino F. Zorzo, Elder de M. Rodrigues. 157-167 [doi]
• Predicting Testability of Concurrent ProgramsTingting Yu, Wei Wen, Xue Han, Jane Huffman Hayes. 168-179 [doi]
• Why do Record/Replay Tests of Web Applications Break?Mouna Hammoudi, Gregg Rothermel, Paolo Tonella. 180-190 [doi]
• Using Visual Symptoms for Debugging Presentation Failures in Web ApplicationsSonal Mahajan, Bailan Li, Pooyan Behnamghader, William G. J. Halfond. 191-201 [doi]
• Detecting and Localizing Internationalization Presentation Failures in Web ApplicationsAbdulmajeed Alameer, Sonal Mahajan, William G. J. Halfond. 202-212 [doi]
• Selecting the Right Topics for Industry-Academia Collaborations in Software Testing: An Experience ReportVahid Garousi, Kadir Herkiloglu. 213-222 [doi]
• Test Set Diameter: Quantifying the Diversity of Sets of Test CasesRobert Feldt, Simon M. Poulding, David Clark, Shin Yoo. 223-233 [doi]
• Interpreting Coverage Information Using Direct and Indirect CoverageChen Huo, James Clause. 234-243 [doi]
• How Well are Your Requirements Tested?Thomas Arts, John Hughes. 244-254 [doi]
• Empirical Evaluation of Test Coverage for Functional ProgramsYufeng Cheng, Meng Wang, Yingfei Xiong, Dan Hao, Lu Zhang 0023. 255-265 [doi]
• Test Case Prioritization for Compilers: A Text-Vector Based ApproachJunjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang 0023, Bing Xie. 266-277 [doi]
• Tedsuto: A General Framework for Testing Dynamic Software UpdatesLuís Pina, Michael Hicks. 278-287 [doi]
• Model-Based Regression Test Selection for Validating Runtime Adaptation of Software SystemsMohammed Al-Refai, Sudipto Ghosh, Walter Cazzola. 288-298 [doi]
• A Theoretical Framework for Understanding Mutation-Based Testing MethodsDonghwan Shin, Doo-Hwan Bae. 299-308 [doi]
• Generating Evil Test Strings for Regular ExpressionsEric Larson, Anna Kirk. 309-319 [doi]
• MuVM: Higher Order Mutation Analysis Virtual Machine for CSusumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden. 320-329 [doi]
• Atrina: Inferring Unit Oracles from GUI Test CasesShabnam Mirshokraie, Ali Mesbah 0001, Karthik Pattabiraman. 330-340 [doi]
• Automatically Documenting Unit Test CasesBoyang Li, Christopher Vendome, Mario Linares Vásquez, Denys Poshyvanyk, Nicholas A. Kraft. 341-352 [doi]
• Profiting from Unit Tests for Integration TestingDominik Holling, Andreas Hofbauer, Alexander Pretschner, Matthias Gemmar. 353-363 [doi]
• Coordinated Collaborative Testing of Shared Software ComponentsTeng Long, Il-Chul Yoon, Adam A. Porter, Atif M. Memon, Alan Sussman. 364-374 [doi]
• Testing Concurrent Software SystemsFrancesco A. Bianchi. 375-376 [doi]
• Semantic-Based Test Case GenerationMahboubeh Dadkhah. 377-378 [doi]
• Making System User Interactive Tests Repeatable: When and What Should we Control?Zebao Gao. 379-380 [doi]
• Verification Methodology for Fully Autonomous Heavy VehiclesJoakim Gustavsson. 381-382 [doi]
• Automated Scenario-Based Testing of Distributed and Heterogeneous SystemsBruno Lima. 383-384 [doi]
• Modeling App Behavior from Multiple ArtifactsEmily Kowalczyk. 385-386 [doi]
• Symbolic Characterisation of Commonalities in Testing Software Product LinesSebastian Kunze. 387-388 [doi]
• Self-Healing Cloud ApplicationsRui Xin. 389-390 [doi]
• Semantic Testing of Interactive ApplicationsDaniele Zuddas. 391-392 [doi]
• Skyfire: Model-Based Testing with CucumberNan Li, Anthony Escalona, Tariq Kamal. 393-400 [doi]
• Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and JenkinsAndrea Arcuri, José Campos, Gordon Fraser. 401-408 [doi]
• Large Scale Generation of Complex and Faulty PHP Test CasesBertrand Stivalet, Elizabeth Fong. 409-415 [doi]
• A Framework for Monkey GUI TestingThomas Wetzlmaier, Rudolf Ramler, Werner Putschögl. 416-423 [doi]