Abstract is missing.
- Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) ProcessOdile Laurent. 1-10 [doi]
- Google s Innovation Factory: Testing, Culture, and InfrastructurePatrick Copeland. 11-14 [doi]
- Towards Automated, Formal Verification of Model TransformationsMárk Asztalos, László Lengyel, Tihamer Levendovszky. 15-24 [doi]
- Debug Support for Model-Based GUI TestingHenri Heiskanen, Antti Jääskeläinen, Mika Katara. 25-34 [doi]
- Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing ApproachSergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz Cortés. 35-44 [doi]
- (Un-)Covering Equivalent MutantsDavid Schuler, Andreas Zeller. 45-54 [doi]
- MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded CodeMilos Gligoric, Vilas Jagannath, Darko Marinov. 55-64 [doi]
- Using Mutation to Automatically Suggest Fixes for Faulty ProgramsVidroha Debroy, W. Eric Wong. 65-74 [doi]
- An Empirical Evaluation of Regression Testing Based on Fix-Cache RecommendationsEmelie Engström, Per Runeson, Greger Wikstrand. 75-78 [doi]
- The Effectiveness of Regression Testing Techniques in Reducing the Occurrence of Residual DefectsPanduka Nagahawatte, Hyunsook Do. 79-88 [doi]
- MbSRT2: Model-Based Selective Regression Testing with TraceabilityLeila Naslavsky, Hadar Ziv, Debra J. Richardson. 89-98 [doi]
- Generating Transition Probabilities for Automatic Model-Based Test GenerationAbderrahmane Feliachi, Hélène le Guen. 99-102 [doi]
- Model Based Testing and Abstract Interpretation in the Railway Signaling ContextDaniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini. 103-106 [doi]
- From Nondeterministic UML Protocol Statemachines to Class ContractsIvan Porres, Irum Rauf. 107-116 [doi]
- Simulated Satisfaction of Coverage Criteria on UML State MachinesStephan Weißleder. 117-126 [doi]
- Regression Testing Ajax Applications: Coping with DynamismDanny Roest, Ali Mesbah, Arie van Deursen. 127-136 [doi]
- Automated Behavioral Regression TestingWei Jin, Alessandro Orso, Tao Xie. 137-146 [doi]
- A Dynamic Test Cluster Sampling Strategy by Leveraging Execution Spectra InformationShali Yan, Zhenyu Chen, Zhihong Zhao, Chen Zhang, Yuming Zhou. 147-154 [doi]
- Text2Test: Automated Inspection of Natural Language Use CasesAvik Sinha, Stanley M. Sutton Jr., Amit M. Paradkar. 155-164 [doi]
- Cleansing Test Suites from Coincidental Correctness to Enhance Fault-LocalizationWes Masri, Rawad Abou Assi. 165-174 [doi]
- Industrial Scaled Automated Structural Testing with the Evolutionary Testing ToolTanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Peter M. Kruse, Andreas Windisch, Joachim Wegener. 175-184 [doi]
- TestFul: An Evolutionary Test Approach for JavaLuciano Baresi, Pier Luca Lanzi, Matteo Miraz. 185-194 [doi]
- GraphSeq: A Graph Matching Tool for the Extraction of Mobility PatternsMinh Duc Nguyen, Hélène Waeselynck, Nicolas Riviere. 195-204 [doi]
- It Does Matter How You Normalise the Branch Distance in Search Based Software TestingAndrea Arcuri. 205-214 [doi]
- Explanation-Based Generalization of Infeasible PathMickaël Delahaye, Bernard Botella, Arnaud Gotlieb. 215-224 [doi]
- Challenges with Software Verification and Validation Activities in the Space IndustryRobert Feldt, Richard Torkar, Ehsan Ahmad, Bilal Raza. 225-234 [doi]
- GUI Testing Techniques Evaluation by Designed ExperimentsCristiano Bertolini, Alexandre Mota, Eduardo Aranha, Cristiano Ferraz. 235-244 [doi]
- Repairing GUI Test Suites Using a Genetic AlgorithmSi Huang, Myra B. Cohen, Atif M. Memon. 245-254 [doi]
- A Formal Model for Generating Integrated Functional and User Interface Test CasesDaniel Sinnig, Ferhat Khendek, Patrice Chalin. 255-264 [doi]
- Prioritizing State-Based Aspect TestsDianxiang Xu, Junhua Ding. 265-274 [doi]
- Machine Learning Methods and Asymmetric Cost Function to Estimate Execution Effort of Software TestingDaniel Guerreiro e Silva, Mario Jino, Bruno Teixeira de Abreu. 275-284 [doi]
- Does Hardware Configuration and Processor Load Impact Software Fault Observability?Raza Abbas Syed, Brian Robinson, Laurie A. Williams. 285-294 [doi]
- An Application of Six Sigma and Simulation in Software Testing Risk AssessmentVojo Bubevski. 295-302 [doi]
- Satisfying Test Preconditions through Guided Object SelectionYi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol. 303-312 [doi]
- We re Finding Most of the Bugs, but What are We Missing?Elaine J. Weyuker, Robert M. Bell, Thomas J. Ostrand. 313-322 [doi]
- Specification of UML Model TransformationsShekoufeh Kolahdouz Rahimi. 323-326 [doi]
- Holistic Model-Based Testing for Business Information SystemsMichael Mlynarski. 327-330 [doi]
- Towards an Automated and Dynamically Adaptable Test System for Testing Healthcare Information SystemsDiana Elena Vega. 331-334 [doi]
- Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 StandardRajwinder Kaur Panesar-Walawege, Mehrdad Sabetzadeh, Lionel C. Briand, Thierry Coq. 335-344 [doi]
- Verified Firewall Policy Transformations for Test Case GenerationAchim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff. 345-354 [doi]
- Elaborating Software Test Processes and StrategiesJussi Kasurinen. 355-358 [doi]
- Model-Driven Engineering of Dependable SystemsVidar Slåtten. 359-362 [doi]
- Online Testing Framework for Web ServicesTien-Dung Cao, Patrick Félix, Richard Castanet, Ismail Berrada. 363-372 [doi]
- A Counter-Example Testing Approach for Orchestrated ServicesFrancesco De Angelis, Andrea Polini, Guglielmo De Angelis. 373-382 [doi]
- Automated Bug Neighborhood Analysis for Identifying Incomplete Bug FixesMijung Kim, Saurabh Sinha, Carsten Görg, Hina Shah, Mary Jean Harrold, Mangala Gowri Nanda. 383-392 [doi]
- An Industrial Survey on Contemporary Aspects of Software TestingAdnan Causevic, Daniel Sundmark, Sasikumar Punnekkat. 393-401 [doi]
- Fault Detection Likelihood of Test Sequence LengthFevzi Belli, Michael Linschulte, Christof J. Budnik, Harald A. Stieber. 402-411 [doi]
- Towards Fully Automated Test Management for Large Complex SystemsSigrid Eldh, Joachim Brandt, Mark Street, Hans Hansson, Sasikumar Punnekkat. 412-420 [doi]
- Searching for a Needle in a Haystack: Predicting Security Vulnerabilities for Windows VistaThomas Zimmermann, Nachiappan Nagappan, Laurie A. Williams. 421-428 [doi]
- Precisely Detecting Runtime Change Interactions for Evolving SoftwareRaúl A. Santelices, Mary Jean Harrold, Alessandro Orso. 429-438 [doi]
- Model Checking PLC Software Written in Function Block DiagramOlivera Pavlovic, Hans-Dieter Ehrich. 439-448 [doi]
- Timed Moore Automata: Test Data Generation and Model CheckingHelge Löding, Jan Peleska. 449-458 [doi]
- Automated and Scalable T-wise Test Case Generation Strategies for Software Product LinesGilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon. 459-468 [doi]
- Longer is Better: On the Role of Test Sequence Length in Software TestingAndrea Arcuri. 469-478 [doi]
- When BDDs Fail: Conformance Testing with Symbolic Execution and SMT SolvingElisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa. 479-488 [doi]
- Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear ControllerLaya Madani, Virginia Papailiopoulou, Ioannis Parissis. 489-497 [doi]
- Rex: Symbolic Regular Expression ExplorerMargus Veanes, Peli de Halleux, Nikolai Tillmann. 498-507 [doi]
- State Machine Inference in Testing Context with Long CounterexamplesMuhammad-Naeem Irfan. 508-511 [doi]
- Regression Test Selection and Product Line System TestingEmelie Engstrom. 512-515 [doi]