| 2015 | 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015 |
| 2015 | A Case Study on the Efficiency of Model-Based Testing at the European Space Agency. Stefan Mohacsi, Michael Felderer, Armin Beer |
| 2015 | A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops. Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung |
| 2015 | A Scalable Big Data Test Framework. Nan Li, Anthony Escalona, Yun Guo, Jeff Offutt |
| 2015 | A Virtual Bank for Development and Testing. Daniel Kunzle, Carl Worms |
| 2015 | Achievements, Open Problems and Challenges for Search Based Software Testing. Mark Harman, Yue Jia, Yuanyuan Zhang |
| 2015 | Behind an Application Firewall, Are We Safe from SQL Injection Attacks? Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand |
| 2015 | Classifying and Qualifying GUI Defects. Valéria Lelli, Arnaud Blouin, Benoit Baudry |
| 2015 | Co-Evolution of Model-Based Tests for Industrial Automotive Software. Eric J. Rapos |
| 2015 | Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms. Timo Huuhtanen, Juha Itkonen, Casper Lassenius |
| 2015 | Conceptualization and Evaluation of Component-Based Testing Unified with Visual GUI Testing: An Empirical Study. Emil Alégroth, Zebao Gao, Rafael Alves Paes de Oliveira, Atif M. Memon |
| 2015 | Detecting Display Energy Hotspots in Android Apps. Mian Wan, Yuchen Jin, Ding Li, William G. J. Halfond |
| 2015 | Detection and Localization of HTML Presentation Failures Using Computer Vision-Based Techniques. Sonal Mahajan, William G. J. Halfond |
| 2015 | Evaluating Symbolic Execution-Based Test Tools. Lajos Cseppento, Zoltán Micskei |
| 2015 | Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection. Debajyoti Mondal, Hadi Hemmati, Stephane Durocher |
| 2015 | Fluently Reading, Writing and Speaking Hexadecimal with Gepetto's Help. Daniel Werner |
| 2015 | Generating Complex and Faulty Test Data through Model-Based Mutation Analysis. Daniel Di Nardo, Fabrizio Pastore, Lionel C. Briand |
| 2015 | Generating Succinct Test Cases Using Don't Care Analysis. Cuong Nguyen, Hiroaki Yoshida, Mukul R. Prasad, Indradeep Ghosh, Koushik Sen |
| 2015 | Generating Tests for Detecting Faults in Feature Models. Paolo Arcaini, Angelo Gargantini, Paolo Vavassori |
| 2015 | Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems. Tingting Yu, Myra B. Cohen |
| 2015 | History-Based Test Case Prioritization for Black Box Testing Using Ant Colony Optimization. Tadahiro Noguchi, Hironori Washizaki, Yoshiaki Fukazawa, Atsutoshi Sato, Kenichiro Ota |
| 2015 | If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing. Stephan Arlt, Tobias Morciniec, Andreas Podelski, Silke Wagner |
| 2015 | Incremental Model-Based Mutation Testing. Stefan Tiran |
| 2015 | Integrating Concrete Symbolic Testing with an Industrial Embedded Software Development Workflow. Edgar J. Holleis |
| 2015 | Iterative Instrumentation for Code Coverage in Time-Sensitive Systems. Tosapon Pankumhang, Matthew J. Rutherford |
| 2015 | JSEFT: Automated Javascript Unit Test Generation. Shabnam Mirshokraie, Ali Mesbah, Karthik Pattabiraman |
| 2015 | MetTest: A Test Automation Framework for Development of a Point-To-Multipoint Radio. M. Devrim Tokcan, Onur Ozturk, Hakan Tuna |
| 2015 | MoMut: : UML Model-Based Mutation Testing for UML. Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl |
| 2015 | Mobile Testing in Software Industry Using Agile: Challenges and Opportunities. Andreia M. dos Santos, Igor B. Correia |
| 2015 | Model-Based Continuous Integration Testing of Responsiveness of Web Applications. Giorgio Brajnik, Andrea Baruzzo, Sara Fabbro |
| 2015 | Model-Based Mutation Testing of Synchronous and Asynchronous Real-Time Systems. Florian Lorber |
| 2015 | NUMFL: Localizing Faults in Numerical Software Using a Value-Based Causal Model. Zhuofu Bai, Gang Shu, Andy Podgurski |
| 2015 | Navigating Information Overload Caused by Automated Testing - a Clustering Approach in Multi-Branch Development. Nicklas Erman, Vanja Tufvesson, Markus Borg, Per Runeson, Anders Ardö |
| 2015 | Non-Intrusive Documentation-Driven Integration Testing. Florian Häser |
| 2015 | On the Industrial Applicability of TextTest: An Empirical Case Study. Emil Alégroth, Geoffrey Bache, Emily Bache |
| 2015 | Optimization of Combinatorial Testing by Incremental SAT Solving. Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere |
| 2015 | PLeTsPerf - A Model-Based Performance Testing Tool. Elder Rodrigues, Maicon Bernardino, Leandro T. Costa, Avelino Francisco Zorzo, Flávio Moreira de Oliveira |
| 2015 | Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution. Azadeh Farzan, Andreas Holzer, Helmut Veith |
| 2015 | Postconditioned Symbolic Execution. Qiuping Yi, Zijiang Yang, Shengjian Guo, Chao Wang, Jian Liu, Chen Zhao |
| 2015 | Prioritizing Manual Test Cases in Traditional and Rapid Release Environments. Hadi Hemmati, Zhihan Fang, Mika V. Mäntylä |
| 2015 | QuickChecking Static Analysis Properties. Jan Midtgaard, Anders Møller |
| 2015 | Re-Using Generators of Complex Test Data. Simon M. Poulding, Robert Feldt |
| 2015 | Reformulating Branch Coverage as a Many-Objective Optimization Problem. Annibale Panichella, Fitsum Meshesha Kifetew, Paolo Tonella |
| 2015 | SEViz: A Tool for Visualizing Symbolic Execution. David Honfi, András Vörös, Zoltán Micskei |
| 2015 | Seamless Integration of Test Information Management and Calibration Data Management in the Overall Automotive Development Process. Christian El Salloum |
| 2015 | Security Threat Identification and Testing. Roberto Carbone, Luca Compagna, Annibale Panichella, Serena Elisa Ponta |
| 2015 | Show Me New Counterexamples: A Path-Based Approach. Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels |
| 2015 | Sound and Quasi-Complete Detection of Infeasible Test Requirements. Sébastien Bardin, Mickaël Delahaye, Robin David, Nikolai Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion |
| 2015 | Supporting the Transition to an Agile Test Matrix. Robert Korosec, Roman Pfarrhofer |
| 2015 | TESEM: A Tool for Verifying Security Design Pattern Applications by Model Testing. Takanori Kobashi, Masatoshi Yoshizawa, Hironori Washizaki, Yoshiaki Fukazawa, Nobukazu Yoshioka, Takao Okubo, Haruhiko Kaiya |
| 2015 | Test Generation from Business Rules. Simon Holm Jensen, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra |
| 2015 | Test Suite Quality Assessment Using Model Inference Techniques. Hermann Felbinger |
| 2015 | Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island. Manuel Oriol |
| 2015 | Testing Web Applications Through Layout Constraints. Sylvain Hallé, Nicolas Bergeron, Francis Guerin, Gabriel Le Breton |
| 2015 | The MIDAS Cloud Platform for Testing SOA Applications. Steffen Herbold, Alberto De Francesco, Jens Grabowski, Patrick Harms, Lom-Messan Hillah, Fabrice Kordon, Ariele-Paolo Maesano, Libero Maesano, Claudia Di Napoli, Fabio De Rosa, Martin A. Schneider, Nicola Tonellotto, Marc-Florian Wendland, Pierre-Henri Wuillemin |
| 2015 | U-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems. Shaukat Ali, Tao Yue |
| 2015 | Understanding the Test Automation Culture of App Developers. Pavneet Singh Kochhar, Ferdian Thung, Nachiappan Nagappan, Thomas Zimmermann, David Lo |
| 2015 | Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases. Eric James Rapos, Jürgen Dingel |
| 2015 | Using Multi-Locators to Increase the Robustness of Web Test Cases. Maurizio Leotta, Andrea Stocco, Filippo Ricca, Paolo Tonella |
| 2015 | WebSee: A Tool for Debugging HTML Presentation Failures. Sonal Mahajan, William G. J. Halfond |
| 2015 | Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications. Haitao Zhang, Toshiaki Aoki, Yuki Chiba |