ICST A

48 papers

YearTitle / Authors
20162016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016
2016A Controlled Experiment in Testing of Safety-Critical Embedded Software.
Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson
2016A Framework for Monkey GUI Testing.
Thomas Wetzlmaier, Rudolf Ramler, Werner Putschögl
2016A Framework to Evaluate the Effectiveness of Different Load Testing Analysis Techniques.
Ruoyu Gao, Zhen Ming Jiang, Cornel Barna, Marin Litoiu
2016A Theoretical Framework for Understanding Mutation-Based Testing Methods.
Donghwan Shin, Doo-Hwan Bae
2016An Empirical Study on Detecting and Fixing Buffer Overflow Bugs.
Tao Ye, Lingming Zhang, Linzhang Wang, Xuandong Li
2016Atrina: Inferring Unit Oracles from GUI Test Cases.
Shabnam Mirshokraie, Ali Mesbah, Karthik Pattabiraman
2016Automated Scenario-Based Testing of Distributed and Heterogeneous Systems.
Bruno Lima
2016Automatic Detection and Removal of Conformance Faults in Feature Models.
Paolo Arcaini, Angelo Gargantini, Paolo Vavassori
2016Automatically Discovering, Reporting and Reproducing Android Application Crashes.
Kevin Moran, Mario Linares Vásquez, Carlos Bernal-Cárdenas, Christopher Vendome, Denys Poshyvanyk
2016Automatically Documenting Unit Test Cases.
Boyang Li, Christopher Vendome, Mario Linares Vásquez, Denys Poshyvanyk, Nicholas A. Kraft
2016Canopus: A Domain-Specific Language for Modeling Performance Testing.
Maicon Bernardino, Avelino F. Zorzo, Elder M. Rodrigues
2016Coordinated Collaborative Testing of Shared Software Components.
Teng Long, Il-Chul Yoon, Adam A. Porter, Atif M. Memon, Alan Sussman
2016Debugging without Testing.
Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias
2016Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications.
August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov
2016Detecting and Localizing Internationalization Presentation Failures in Web Applications.
Abdulmajeed Alameer, Sonal Mahajan, William G. J. Halfond
2016Effective Partial Order Reduction in Model Checking Database Applications.
Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui
2016Empirical Evaluation of Test Coverage for Functional Programs.
Yufeng Cheng, Meng Wang, Yingfei Xiong, Dan Hao, Lu Zhang
2016Generating Evil Test Strings for Regular Expressions.
Eric Larson, Anna Kirk
2016How Well are Your Requirements Tested?
Thomas Arts, John Hughes
2016Interpreting Coverage Information Using Direct and Indirect Coverage.
Chen Huo, James Clause
2016Large Scale Generation of Complex and Faulty PHP Test Cases.
Bertrand Stivalet, Elizabeth Fong
2016Making System User Interactive Tests Repeatable: When and What Should we Control?
Zebao Gao
2016Model-Based Regression Test Selection for Validating Runtime Adaptation of Software Systems.
Mohammed Al-Refai, Sudipto Ghosh, Walter Cazzola
2016Modeling App Behavior from Multiple Artifacts.
Emily Kowalczyk
2016MuVM: Higher Order Mutation Analysis Virtual Machine for C.
Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden
2016Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service.
John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell
2016Nonconformity Resolving Recommendations for Product Line Configuration.
Hong Lu, Tao Yue, Shaukat Ali, Li Zhang
2016Predicting Testability of Concurrent Programs.
Tingting Yu, Wei Wen, Xue Han, Jane Huffman Hayes
2016Profiting from Unit Tests for Integration Testing.
Dominik Holling, Andreas Hofbauer, Alexander Pretschner, Matthias Gemmar
2016Properties of Effective Metrics for Coverage-Based Statistical Fault Localization.
Shih-Feng Sun, Andy Podgurski
2016Repeated Combinatorial Test Design - Unleashing the Potential in Multiple Testing Iterations.
Itai Segall
2016Selecting the Right Topics for Industry-Academia Collaborations in Software Testing: An Experience Report.
Vahid Garousi, Kadir Herkiloglu
2016Self-Healing Cloud Applications.
Rui Xin
2016Semantic Testing of Interactive Applications.
Daniele Zuddas
2016Semantic-Based Test Case Generation.
Mahboubeh Dadkhah
2016Skyfire: Model-Based Testing with Cucumber.
Nan Li, Anthony Escalona, Tariq Kamal
2016Symbolic Characterisation of Commonalities in Testing Software Product Lines.
Sebastian Kunze
2016Symbooglix: A Symbolic Execution Engine for Boogie Programs.
Daniel Liew, Cristian Cadar, Alastair F. Donaldson
2016Tedsuto: A General Framework for Testing Dynamic Software Updates.
Luís Pina, Michael Hicks
2016Test Case Prioritization for Compilers: A Text-Vector Based Approach.
Junjie Chen, Yanwei Bai, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang, Bing Xie
2016Test Set Diameter: Quantifying the Diversity of Sets of Test Cases.
Robert Feldt, Simon M. Poulding, David Clark, Shin Yoo
2016Testing Concurrent Software Systems.
Francesco A. Bianchi
2016Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins.
Andrea Arcuri, José Campos, Gordon Fraser
2016Using Exploration Focused Techniques to Augment Search-Based Software Testing: An Experimental Evaluation.
Bogdan Marculescu, Robert Feldt, Richard Torkar
2016Using Visual Symptoms for Debugging Presentation Failures in Web Applications.
Sonal Mahajan, Bailan Li, Pooyan Behnamghader, William G. J. Halfond
2016Verification Methodology for Fully Autonomous Heavy Vehicles.
Joakim Gustavsson
2016Why do Record/Replay Tests of Web Applications Break?
Mouna Hammoudi, Gregg Rothermel, Paolo Tonella