| 2013 | A Case Study of Automating User Experience-Oriented Performance Testing on Smartphones. Gerardo Canfora, Francesco Mercaldo, Corrado Aaron Visaggio, Mauro D'Angelo, Antonio Furno, Carminantonio Manganelli |
| 2013 | A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods. Sheikh Umar Farooq, S. M. K. Quadri, Nesar Ahmad |
| 2013 | A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis |
| 2013 | A Method of Making Single Function Tests for Constituting Scenario Tests. Noriaki Ichida, Takeshi Sumi, Hideto Ogasawara |
| 2013 | A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker. Arne-Michael Törsel |
| 2013 | A Toolchain for Designing and Testing XACML Policies. Antonia Bertolino, Marianne Busch, Said Daoudagh, Nora Koch, Francesca Lonetti, Eda Marchetti |
| 2013 | ACTS: A Combinatorial Test Generation Tool. Linbin Yu, Yu Lei, Raghu Kacker, D. Richard Kuhn |
| 2013 | AURORA: AUtomatic RObustness coveRage Analysis Tool. Angelo Gargantini, Marco Guarnieri, Eros Magri |
| 2013 | AVA: Supporting Debugging with Failure Interpretations. Fabrizio Pastore, Leonardo Mariani |
| 2013 | An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation. Linbin Yu, Yu Lei, Mehra Nouroz Borazjany, Raghu Kacker, D. Richard Kuhn |
| 2013 | Analysis and Prediction of Mandelbugs in an Industrial Software System. Gabriella Carrozza, Domenico Cotroneo, Roberto Natella, Roberto Pietrantuono, Stefano Russo |
| 2013 | Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment. Shaukat Ali, Tao Yue, Lionel C. Briand |
| 2013 | Automated Detection of Test Fixture Strategies and Smells. Michaela Greiler, Arie van Deursen, Margaret-Anne D. Storey |
| 2013 | Behaviour Abstraction Coverage as Black-Box Adequacy Criteria. Hernan Czemerinski, Víctor A. Braberman, Sebastián Uchitel |
| 2013 | Business Process Compliance via Security Validation as a Service. Luca Compagna, Pierre Guilleminot, Achim D. Brucker |
| 2013 | CDM-Suite: An Attributed Test Selection Tool. Philipp Luchscheider, Thomas Herpel, Reinhard German |
| 2013 | CHECK-THEN-ACT Misuse of Java Concurrent Collections. Yu Lin, Danny Dig |
| 2013 | Challenges of Testing for Critical Interactive Systems. Valéria Lelli |
| 2013 | Classification, Structuring, and Assessment of Evidence for Safety - A Systematic Literature Review. Sunil Nair, Jose Luis de la Vara, Mehrdad Sabetzadeh, Lionel C. Briand |
| 2013 | Combinatorial Interaction Testing with CITLAB. Andrea Calvagna, Angelo Gargantini, Paolo Vavassori |
| 2013 | Coverage-Based Test Case Prioritisation: An Industrial Case Study. Daniel Di Nardo, Nadia Alshahwan, Lionel C. Briand, Yvan Labiche |
| 2013 | CrowdOracles: Can the Crowd Solve the Oracle Problem? Fabrizio Pastore, Leonardo Mariani, Gordon Fraser |
| 2013 | Crowdsourcing GUI Tests. Eelco Dolstra, Raynor Vliegendhart, Johan A. Pouwelse |
| 2013 | Defect Prioritization in the Software Industry: Challenges and Opportunities. Nilam Kaushik, Mehdi Amoui, Ladan Tahvildari, Weining Liu, Shimin Li |
| 2013 | Efficient JavaScript Mutation Testing. Shabnam Mirshokraie, Ali Mesbah, Karthik Pattabiraman |
| 2013 | Empirical Evaluation of the Statement Deletion Mutation Operator. Lin Deng, Jeff Offutt, Nan Li |
| 2013 | Estimating Fault Numbers Remaining After Testing. Marc Roper |
| 2013 | EvoSuite: On the Challenges of Test Case Generation in the Real World. Gordon Fraser, Andrea Arcuri |
| 2013 | Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost. Sheeva Afshan, Phil McMinn, Mark Stevenson |
| 2013 | Formal Modeling and Verification of SDN-OpenFlow. Miyoung Kang, Eun-Young Kang, Dae-Yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-Ki Shin, Jin-Young Choi |
| 2013 | GUIdiff - A Regression Testing Tool for Graphical User Interfaces. Sebastian Bauersfeld |
| 2013 | Generating Effective Integration Test Cases from Unit Ones. Mauro Pezzè, Konstantin Rubinov, Jochen Wuttke |
| 2013 | Generating Unit Tests for Concurrent Classes. Sebastian Steenbuck, Gordon Fraser |
| 2013 | GrowthTracker: Diagnosing Unbounded Heap Growth in C++ Software. Erik Hill, Daniel J. Tracy, Sheldon Brown |
| 2013 | Identification of Anomalies in Processes of Database Alteration. Francesco Mercaldo |
| 2013 | Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicolás Rosner, Ignacio Vissani |
| 2013 | JAutomate: A Tool for System- and Acceptance-test Automation. Emil Alégroth, Michel Nass, Helena Holmström Olsson |
| 2013 | JavaPDG: A New Platform for Program Dependence Analysis. Gang Shu, Boya Sun, Tim A. D. Henderson, Andy Podgurski |
| 2013 | LBTest: A Learning-Based Testing Tool for Reactive Systems. Karl Meinke, Muddassar A. Sindhu |
| 2013 | Leveraging Light-Weight Analyses to Aid Software Maintenance. Zachary P. Fry, Westley Weimer |
| 2013 | MFL: Method-Level Fault Localization with Causal Inference. Gang Shu, Boya Sun, Andy Podgurski, Feng Cao |
| 2013 | Model-Based Testing of Cryptographic Components - Lessons Learned from Experience. Julien Botella, Fabrice Bouquet, Jean-Francois Capuron, Franck Lebeau, Bruno Legeard, Florence Schadle |
| 2013 | Multi-objective Cross-Project Defect Prediction. Gerardo Canfora, Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto, Annibale Panichella, Sebastiano Panichella |
| 2013 | OCCF: A Framework for Developing Test Coverage Measurement Tools Supporting Multiple Programming Languages. Kazunori Sakamoto, Kiyofumi Shimojo, Ryohei Takasawa, Hironori Washizaki, Yoshiaki Fukazawa |
| 2013 | Oracle-based Regression Test Selection. Tingting Yu, Xiao Qu, Mithun Acharya, Gregg Rothermel |
| 2013 | Proposal of Testing Diagrams for Visualizing Test Cases. Seiya Urata, Tetsuro Katayama |
| 2013 | R2Fix: Automatically Generating Bug Fixes from Bug Reports. Chen Liu, Jinqiu Yang, Lin Tan, Munawar Hafiz |
| 2013 | RAILROADMAP: An Agile Security Testing Framework for Web-application Development. Seiji Munetoh, Nobukazu Yoshioka |
| 2013 | Real-Data Validation of Simulation Models in a Function-Based Modular Framework. Florian Netter, Frank Gauterin, Bjorn Butterer |
| 2013 | Reconstructing Core Dumps. Jeremias Rößler, Andreas Zeller, Gordon Fraser, Cristian Zamfir, George Candea |
| 2013 | Repairing Selenium Test Cases: An Industrial Case Study about Web Page Element Localization. Maurizio Leotta, Diego Clerissi, Filippo Ricca, Cristiano Spadaro |
| 2013 | Research Questions for Model-Based Vulnerability Testing of Web Applications. Alexandre Vernotte |
| 2013 | Scaling Model Checking for Test Generation Using Dynamic Inference. Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh |
| 2013 | Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems. Gregory M. Kapfhammer, Phil McMinn, Chris J. Wright |
| 2013 | Security Testing with Fault-Models and Properties. Matthias Büchler |
| 2013 | Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, March 18-22, 2013 |
| 2013 | Smartesting CertifyIt: Model-Based Testing for Enterprise IT. Bruno Legeard, Arnaud Bouzy |
| 2013 | Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. Roberto Bagnara, Matthieu Carlier, Roberta Gori, Arnaud Gotlieb |
| 2013 | Systematic Testing for Detecting Concurrency Errors in Erlang Programs. Maria Christakis, Alkis Gotovos, Konstantinos Sagonas |
| 2013 | Test Case Prioritization Using Requirements-Based Clustering. Md. Junaid Arafeen, Hyunsook Do |
| 2013 | Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, Germán Vega, Julien Botella, Safouan Taha |
| 2013 | Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal. Jean-Marie Gauthier |
| 2013 | Test Generation for Robotized Paint Systems Using Constraint Programming in a Continuous Integration Environment. Morten Mossige, Arnaud Gotlieb, Hein Meling |
| 2013 | Test Quality Measurement Using TBPP-R. Jun Tang, Ruilong Huo, Jiali Yao, Shaosen Wu |
| 2013 | Testing Database-Centric Applications for Causes of Database Deadlocks. Mark Grechanik, B. M. Mainul Hossain, Ugo A. Buy |
| 2013 | The Impact of Concurrent Coverage Metrics on Testing Effectiveness. Shin Hong, Matt Staats, Jaemin Ahn, Moonzoo Kim, Gregg Rothermel |
| 2013 | The SPaCIoS Project: Secure Provision and Consumption in the Internet of Services. Luca Viganò |
| 2013 | Towards Better Testing of fUML Models. Florin Craciun, Simona Motogna, Ioan Lazar |
| 2013 | Transformation Rules for Platform Independent Testing: An Empirical Study. Anders Eriksson, Birgitta Lindström, Jeff Offutt |
| 2013 | Transitioning Manual System Test Suites to Automated Testing: An Industrial Case Study. Emil Alégroth, Robert Feldt, Helena Holmström Olsson |
| 2013 | Understanding the Influence of Social and Technical Factors Testers in Software Organizations. Anca Deak |
| 2013 | VERA: A Flexible Model-Based Vulnerability Testing Tool. Abian Blome, Martín Ochoa, Keqin Li, Michele Peroli, Mohammad Torabi Dashti |