2. ICST 2009: Denver, Colorado, USA

ICST 2009, Second International Conference on Software Testing Verification and Validation, 1-4 April 2009, Denver, Colorado, USA. IEEE Computer Society 2009, ISBN 978-0-7695-3601-9

GUI Testing

Chen Fu, Mark Grechanik, Qing Xie:
Inferring Types of References to GUI Objects in Test Scripts. 1-10
Penelope A. Brooks, Brian P. Robinson, Atif M. Memon:
An Initial Characterization of Industrial Graphical User Interface Systems. 11-20
Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota:
An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs. 21-30

Model Checking

Hendrik Post, Carsten Sinz:
Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. 31-40
Gordon Fraser, Angelo Gargantini:
An Evaluation of Model Checkers for Specification Based Test Case Generation. 41-50
Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid:
Optimizing Generation of Object Graphs in Java PathFinder. 51-60

Embedded and Real-Time Testing

Alexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen:
Timed Testing under Partial Observability. 61-70
César Andrés, Mercedes G. Merayo, Manuel Núñez:
Passive Testing of Stochastic Timed Systems. 71-80
Juergen Grossmann, Diana Alina Serbanescu, Ina Schieferdecker:
Testing Embedded Real Time Systems with TTCN-3. 81-90

QA and Test Management

Fangzhe Chang, Jennifer Ren, Ramesh Viswanathan:
Optimal Resource Allocation for Batch Testing. 91-100
Jens Nodler, Helmut Neukirchen, Jens Grabowski:
A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications. 101-110
Christian Murphy, Gail E. Kaiser, Ian Vo, Matt Chu:
Quality Assurance of Software Applications Using the In Vivo Testing Approach. 111-120

Model Based Testing

Aritra Bandyopadhyay, Sudipto Ghosh:
Test Input Generation Using UML Sequence and State Machines Models. 121-130
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim Woodcock:
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. 131-140

Static Analysis

Fadi Wedyan, Dalal Alrmuny, James M. Bieman:
The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction. 141-150
Arnaud Gotlieb:
Euclide: A Constraint-Based Testing Framework for Critical C Programs. 151-160
Sarah Smith Heckman, Laurie A. Williams:
A Model Building Process for Identifying Actionable Static Analysis Alerts. 161-170

Security Testing

Tejeddine Mouelhi, Yves Le Traon, Benoit Baudry:
Transforming and Selecting Functional Test Cases for Security Policy Testing. 171-180
Michael Gegick, Pete Rotella, Laurie A. Williams:
Predicting Attack-prone Components. 181-190
HyunChul Joh, Yashwant K. Malaiya:
Seasonal Variation in the Vulnerability Discovery Process. 191-200

Empirical Studies

Katja Karhu, Tiina Repo, Ossi Taipale, Kari Smolander:
Empirical Observations on Software Testing Automation. 201-209
Gursimran Singh Walia, Jeffrey C. Carver:
Evaluating the Effect of the Number of Naturally Occurring Faults on the Estimates Produced by Capture-Recapture Models. 210-219
Negar Koochakzadeh, Vahid Garousi, Frank Maurer:
Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned. 220-229

Test Case Generation

Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift:
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM). 230-239
Sébastien Bardin, Philippe Herrmann:
Pruning the Search Space in Path-Based Test Generation. 240-249
Junaid Haroon Siddiqui, Sarfraz Khurshid:
PKorat: Parallel Generation of Structurally Complex Test Inputs. 250-259

Real World Testing

Vishal Chowdhary:
Practicing Testability in the Real World. 260-268
Krzysztof Rogoz, Katarzyna Figura:
A Test Based Multidimensional Performance Model for a Mission Critical System Server. 269-278

Test Management

Erika Regina Campos de Almeida, Bruno Teixeira de Abreu, Regina Lúcia de Oliveira Moraes:
An Alternative Approach to Test Effort Estimation Based on Use Cases. 279-288
Daniel Guerreiro e Silva, Bruno Teixeira de Abreu, Mario Jino:
A Simple Approach for Estimation of Execution Effort of Functional Test Cases. 289-298
Greger Wikstrand, Robert Feldt, Jeevan Kumar Gorantla, Wang Zhe, Conor White:
Dynamic Regression Test Selection Based on a File Cache. 299-302

Automation

Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina:
Automatic Test Generation for Coverage Analysis of ERTMS Software. 303-306
Roy Patrick Tan, Pooja Nagpal, Shaun Miller:
Automated Black Box Testing Tool for a Parallel Programming Library. 307-316
Reena Mathew, Ryan Spraetz:
Test Automation on a SaaS Platform. 317-325

Web Testing

Cesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini:
WS-TAXI: A WSDL-based Testing Tool for Web Services. 326-335
Xingmin Luo, Fan Ping, Mei-Hwa Chen:
Clustering and Tailoring User Session Data for Testing Web Applications. 336-345
William G. J. Halfond, Shauvik Roy Choudhary, Alessandro Orso:
Penetration Testing with Improved Input Vector Identification. 346-355

Aspects and Faults

Garrett Kent Kaminski, Paul Ammann:
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection. 356-365
Friedrich Steimann, Mario Bertschler:
A Simple Coverage-Based Locator for Multiple Faults. 366-375
Romain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon:
A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ. 376-385

Mutation and Non-functional Testing

Garrett Kent Kaminski, Paul Ammann:
Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing. 386-395
Chixiang Zhou, Phyllis G. Frankl:
Mutation Testing for Java Database Applications. 396-405
James H. Hill, Hamilton A. Turner, James R. Edmondson, Douglas C. Schmidt:
Unit Testing Non-functional Concerns of Component-based Distributed Systems. 406-415

Assertions and Failure States

Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol:
On the Effectiveness of Test Extraction without Overhead. 416-425
Bogdan Korel, Qi Zhang, Li Tao:
Assertion-Based Validation of Modified Programs. 426-435
Christian Murphy, Kuang Shen, Gail E. Kaiser:
Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles. 436-445
Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu:
Optimizing Probabilities of Real-Time Test Case Execution. 446-455

Last update Fri May 25 08:21:31 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page