default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd ICST 2009: Denver, Colorado, USA
- Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009. 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 Gokce 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
- Érika 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, Mário 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
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-11 20:31 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:
