default search action
9th ICST 2016: Chicago, IL, USA
- 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-1827-7
Session 1: Test Generation
- Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson:
A Controlled Experiment in Testing of Safety-Critical Embedded Software. 1-11 - Itai Segall:
Repeated Combinatorial Test Design - Unleashing the Potential in Multiple Testing Iterations. 12-21 - Ruoyu Gao, Zhen Ming Jiang, Cornel Barna, Marin Litoiu
:
A Framework to Evaluate the Effectiveness of Different Load Testing Analysis Techniques. 22-32 - Kevin Moran, Mario Linares Vásquez
Automatically Discovering, Reporting and Reproducing Android Application Crashes. 33-44
Session 2: Constraint Solving and Search
- Daniel Liew, Cristian Cadar
Symbooglix: A Symbolic Execution Engine for Boogie Programs. 45-56 - Hong Lu, Tao Yue, Shaukat Ali, Li Zhang:
Nonconformity Resolving Recommendations for Product Line Configuration. 57-68 - Bogdan Marculescu, Robert Feldt, Richard Torkar:
Using Exploration Focused Techniques to Augment Search-Based Software Testing: An Experimental Evaluation. 69-79 - August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov:
Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. 80-90
Session 3: Debugging
- Tao Ye, Lingming Zhang, Linzhang Wang, Xuandong Li:
An Empirical Study on Detecting and Fixing Buffer Overflow Bugs. 91-101 - Paolo Arcaini
Automatic Detection and Removal of Conformance Faults in Feature Models. 102-112 - Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias:
Debugging without Testing. 113-123 - Shih-Feng Sun, Andy Podgurski:
Properties of Effective Metrics for Coverage-Based Statistical Fault Localization. 124-134
Session 4: Concurrency and Performance
- John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell:
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. 135-145 - Maryam Abdul Ghafoor, Muhammad Suleman Mahmood, Junaid Haroon Siddiqui
Effective Partial Order Reduction in Model Checking Database Applications. 146-156 - Maicon Bernardino, Avelino F. Zorzo, Elder M. Rodrigues:
Canopus: A Domain-Specific Language for Modeling Performance Testing. 157-167 - Tingting Yu, Wei Wen, Xue Han, Jane Huffman Hayes:
Predicting Testability of Concurrent Programs. 168-179
Session 5: Web Applications
- Mouna Hammoudi, Gregg Rothermel, Paolo Tonella:
Why do Record/Replay Tests of Web Applications Break? 180-190 - Sonal Mahajan, Bailan Li, Pooyan Behnamghader, William G. J. Halfond:
Using Visual Symptoms for Debugging Presentation Failures in Web Applications. 191-201 - Abdulmajeed Alameer, Sonal Mahajan, William G. J. Halfond:
Detecting and Localizing Internationalization Presentation Failures in Web Applications. 202-212 - Vahid Garousi
Selecting the Right Topics for Industry-Academia Collaborations in Software Testing: An Experience Report. 213-222
Session 6: Test Analysis
- Robert Feldt, Simon M. Poulding, David Clark
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases. 223-233 - Chen Huo, James Clause:
Interpreting Coverage Information Using Direct and Indirect Coverage. 234-243 - Thomas Arts, John Hughes:
How Well are Your Requirements Tested? 244-254 - Yufeng Cheng, Meng Wang
Empirical Evaluation of Test Coverage for Functional Programs. 255-265
Session 7: Regression Testing
- Junjie Chen, Yanwei Bai, Dan Hao
Test Case Prioritization for Compilers: A Text-Vector Based Approach. 266-277 - Luís Pina
Tedsuto: A General Framework for Testing Dynamic Software Updates. 278-287 - Mohammed Al-Refai, Sudipto Ghosh, Walter Cazzola
Model-Based Regression Test Selection for Validating Runtime Adaptation of Software Systems. 288-298
Session 8: Mutation
- Donghwan Shin
A Theoretical Framework for Understanding Mutation-Based Testing Methods. 299-308 - Eric Larson, Anna Kirk:
Generating Evil Test Strings for Regular Expressions. 309-319 - Susumu Tokumoto, Hiroaki Yoshida, Kazunori Sakamoto, Shinichi Honiden:
MuVM: Higher Order Mutation Analysis Virtual Machine for C. 320-329
Session 9: Unit Testing
- Shabnam Mirshokraie, Ali Mesbah
Atrina: Inferring Unit Oracles from GUI Test Cases. 330-340 - Boyang Li, Christopher Vendome, Mario Linares Vásquez
Automatically Documenting Unit Test Cases. 341-352 - Dominik Holling, Andreas Hofbauer, Alexander Pretschner, Matthias Gemmar:
Profiting from Unit Tests for Integration Testing. 353-363 - Teng Long, Il-Chul Yoon, Adam A. Porter, Atif M. Memon, Alan Sussman
Coordinated Collaborative Testing of Shared Software Components. 364-374
Ph.D. Symposium
- Francesco A. Bianchi:
Testing Concurrent Software Systems. 375-376 - Mahboubeh Dadkhah:
Semantic-Based Test Case Generation. 377-378 - Zebao Gao:
Making System User Interactive Tests Repeatable: When and What Should we Control? 379-380 - Joakim Gustavsson:
Verification Methodology for Fully Autonomous Heavy Vehicles. 381-382 - Bruno Lima
Automated Scenario-Based Testing of Distributed and Heterogeneous Systems. 383-384 - Emily Kowalczyk:
Modeling App Behavior from Multiple Artifacts. 385-386 - Sebastian Kunze:
Symbolic Characterisation of Commonalities in Testing Software Product Lines. 387-388 - Rui Xin:
Self-Healing Cloud Applications. 389-390 - Daniele Zuddas:
Semantic Testing of Interactive Applications. 391-392
Testing Tool Papers
- Nan Li, Anthony Escalona, Tariq Kamal:
Skyfire: Model-Based Testing with Cucumber. 393-400 - Andrea Arcuri, José Campos
Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins. 401-408 - Bertrand Stivalet, Elizabeth Fong:
Large Scale Generation of Complex and Faulty PHP Test Cases. 409-415 - Thomas Wetzlmaier, Rudolf Ramler, Werner Putschögl:
A Framework for Monkey GUI Testing. 416-423
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: