default search action
7th ICST 2014: Cleveland, Ohio, USA
- Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014, March 31 2014-April 4, 2014, Cleveland, Ohio, USA. IEEE Computer Society 2014, ISBN 978-0-7695-5185-2
- Mike Papadakis
, Christopher Henard, Yves Le Traon
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing. 1-10 - Márcio Eduardo Delamaro, Jeff Offutt, Paul Ammann:
Designing Deletion Mutation Operators. 11-20 - Paul Ammann, Márcio Eduardo Delamaro, Jeff Offutt:
Establishing Theoretical Minimal Sets of Mutants. 21-30 - Andreas Demuth, Roberto E. Lopez-Herrejon, Alexander Egyed:
Automatic and Incremental Product Optimization for Software Product Lines. 31-40 - Ana Belén Sánchez
A Comparison of Test Case Prioritization Criteria for Software Product Lines. 41-50 - Hartmut Lackner, Martin Thomas, Florian Wartenberg, Stephan Weißleder:
Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level. 51-60 - Shin Hong, Yongbae Park, Moonzoo Kim:
Detecting Concurrency Errors in Client-Side Java Script Web Applications. 61-70 - Giovanni Denaro
On the Right Objectives of Data Flow Testing. 71-80 - Roberto Paulo Andrioli de Araujo, Marcos Lordello Chaim
Data-Flow Testing in the Large. 81-90 - Susumu Tokumoto, Kazunori Sakamoto, Kiyofumi Shimojo, Tadahiro Uehara, Hironori Washizaki
Semi-automatic Incompatibility Localization for Re-engineered Industrial Software. 91-94 - Marko Miic, Iain Bethune, Milo Tomaevic:
Automated Multi-platform Testing and Code Coverage Analysis of the CP2K Application. 95-98 - Sachin Patel, Ramesh Kumar Kollana:
Test Case Reuse in Enterprise Software Implementation - An Experience Report. 99-102 - Paul A. Wojciak, Rachel Tzoref-Brill:
System Level Combinatorial Testing in Practice - The Concurrent Maintenance Case Study. 103-112 - Kristian Wiklund
Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board. 113-122 - Chris J. Hunt, Guy J. Brown
Automatic Testing of Natural User Interfaces. 123-132 - Marius Marin:
A Data-Agnostic Approach to Automatic Testing of Multi-dimensional Databases. 133-142 - Simon Varvaressos, Kim Lavoie, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé
Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. 143-152 - Seokhyeon Moon, Yunho Kim, Moonzoo Kim, Shin Yoo:
Ask the Mutants: Mutating Faulty Programs for Fault Localization. 153-162 - Fitsum Meshesha Kifetew
Reproducing Field Failures for Programs with Complex Grammar-Based Input. 163-172 - Sébastien Bardin, Nikolai Kosmatov, François Cheynier:
Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria. 173-182 - Razieh Nokhbeh Zaeem, Mukul R. Prasad, Sarfraz Khurshid:
Automated Generation of Oracles for Testing User-Interaction Features of Mobile Apps. 183-192 - Abdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan:
Automated Test Generation from Vulnerability Signatures. 193-202 - Márcio Eduardo Delamaro, Lin Deng
Experimental Evaluation of SDL and One-Op Mutation for C. 203-212 - Marie-Laure Potet, Laurent Mounier, Maxime Puys
Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections. 213-222 - Stephan Weißleder, Holger Schlingloff
An Evaluation of Model-Based Testing in Embedded Applications. 223-232 - Boyang Li, Mark Grechanik
Sanitizing and Minimizing Databases for Software Application Test Outsourcing. 233-242 - Alex Groce, Mohammad Amin Alipour
Cause Reduction for Quick Testing. 243-252 - Christian Schwarzl, Harald Brandl:
Model Dependent Test Coverage Variabilities. 253-262 - Yunho Kim, Zhihong Xu, Moonzoo Kim, Myra B. Cohen, Gregg Rothermel:
Hybrid Directed Test Suite Augmentation: An Interleaving Framework. 263-272 - Fatmah Yousef Assiri, James M. Bieman:
An Assessment of the Quality of Automated Program Operator Repair. 273-282 - Emelie Engström
Supporting Regression Test Scoping with Visual Analytics. 283-292 - Simon M. Poulding, Hélène Waeselynck:
Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles. 293-302 - Hauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer:
Multi-objective Test Suite Optimization for Incremental Product Family Testing. 303-312 - Tingting Yu, Witawas Srisa-an, Myra B. Cohen, Gregg Rothermel:
SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software. 313-322 - William Johansson, Martin Svensson, Ulf E. Larson, Magnus Almgren
T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication Protocols. 323-332 - Mark Hays, Jane Huffman Hayes, Arne C. Bathke:
Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013. 333-342 - Robert Feldt:
Do System Test Cases Grow Old? 343-352 - Shaukat Ali
Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results. 353-362 - Nan Li, Jeff Offutt:
An Empirical Analysis of Test Oracle Strategies for Model-Based Testing. 363-372 - Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic:
Compositional Specifications for ioco Testing. 373-382
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-12-23 19:17 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: