ICST A

41 papers

YearTitle / Authors
2014A Comparison of Test Case Prioritization Criteria for Software Product Lines.
Ana Belén Sánchez, Sergio Segura, Antonio Ruiz Cortés
2014A Data-Agnostic Approach to Automatic Testing of Multi-dimensional Databases.
Marius Marin
2014Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles.
Simon M. Poulding, Hélène Waeselynck
2014An Assessment of the Quality of Automated Program Operator Repair.
Fatmah Yousef Assiri, James M. Bieman
2014An Empirical Analysis of Test Oracle Strategies for Model-Based Testing.
Nan Li, Jeff Offutt
2014An Evaluation of Model-Based Testing in Embedded Applications.
Stephan Weißleder, Holger Schlingloff
2014Ask the Mutants: Mutating Faulty Programs for Fault Localization.
Seokhyeon Moon, Yunho Kim, Moonzoo Kim, Shin Yoo
2014Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring.
Simon Varvaressos, Kim Lavoie, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé
2014Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps.
Razieh Nokhbeh Zaeem, Mukul R. Prasad, Sarfraz Khurshid
2014Automated Multi-platform Testing and Code Coverage Analysis of the CP2K Application.
Marko Misic, Iain Bethune, Milo Tomaevic
2014Automated Test Generation from Vulnerability Signatures.
Abdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan
2014Automatic Testing of Natural User Interfaces.
Chris J. Hunt, Guy J. Brown, Gordon Fraser
2014Automatic and Incremental Product Optimization for Software Product Lines.
Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed
2014Cause Reduction for Quick Testing.
Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr
2014Compositional Specifications for ioco Testing.
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic
2014Data-Flow Testing in the Large.
Roberto Paulo Andrioli de Araujo, Marcos Lordello Chaim
2014Designing Deletion Mutation Operators.
Márcio Eduardo Delamaro, Jeff Offutt, Paul Ammann
2014Detecting Concurrency Errors in Client-Side Java Script Web Applications.
Shin Hong, Yongbae Park, Moonzoo Kim
2014Do System Test Cases Grow Old?
Robert Feldt
2014Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria.
Sébastien Bardin, Nikolai Kosmatov, François Cheynier
2014Establishing Theoretical Minimal Sets of Mutants.
Paul Ammann, Márcio Eduardo Delamaro, Jeff Offutt
2014Experimental Evaluation of SDL and One-Op Mutation for C.
Márcio Eduardo Delamaro, Lin Deng, Vinicius Humberto Serapilha Durelli, Nan Li, Jeff Offutt
2014Hybrid Directed Test Suite Augmentation: An Interleaving Framework.
Yunho Kim, Zhihong Xu, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel
2014Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board.
Kristian Wiklund, Daniel Sundmark, Sigrid Eldh, Kristina Lundqvist
2014Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections.
Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil
2014Model Dependent Test Coverage Variabilities.
Christian Schwarzl, Harald Brandl
2014Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level.
Hartmut Lackner, Martin Thomas, Florian Wartenberg, Stephan Weißleder
2014Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results.
Shaukat Ali, Hadi Hemmati
2014Multi-objective Test Suite Optimization for Incremental Product Family Testing.
Hauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer
2014On the Right Objectives of Data Flow Testing.
Giovanni Denaro, Mauro Pezzè, Mattia Vivanti
2014Reproducing Field Failures for Programs with Complex Grammar-Based Input.
Fitsum Meshesha Kifetew, Wei Jin, Roberto Tiella, Alessandro Orso, Paolo Tonella
2014Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing.
Mike Papadakis, Christopher Henard, Yves Le Traon
2014Sanitizing and Minimizing Databases for Software Application Test Outsourcing.
Boyang Li, Mark Grechanik, Denys Poshyvanyk
2014Semi-automatic Incompatibility Localization for Re-engineered Industrial Software.
Susumu Tokumoto, Kazunori Sakamoto, Kiyofumi Shimojo, Tadahiro Uehara, Hironori Washizaki
2014Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, USA
2014SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software.
Tingting Yu, Witawas Srisa-an, Myra B. Cohen, Gregg Rothermel
2014Supporting Regression Test Scoping with Visual Analytics.
Emelie Engström, Mika Mäntylä, Per Runeson, Markus Borg
2014System Level Combinatorial Testing in Practice - The Concurrent Maintenance Case Study.
Paul A. Wojciak, Rachel Tzoref-Brill
2014T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication Protocols.
William Johansson, Martin Svensson, Ulf E. Larson, Magnus Almgren, Vincenzo Gulisano
2014Test Case Reuse in Enterprise Software Implementation - An Experience Report.
Sachin Patel, Ramesh Kumar Kollana
2014Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013.
Mark Hays, Jane Huffman Hayes, Arne C. Bathke