default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTAIC PART 2010: Windsor, UK
- Leonardo Bottaci, Gordon Fraser:
Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings. Lecture Notes in Computer Science 6303, Springer 2010, ISBN 978-3-642-15584-0
Keynote Addresses
- Bertrand Meyer:
Automatic Testing and Fixing for Eiffel - (Extended Abstract). 1-4 - Tony Hoare:
Testing and Proving, Hand-in-Hand. 5-6 - Wolfgang Grieskamp:
Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing. 7
Full Papers
- P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh:
Masking Boundary Value Coverage: Effectiveness and Efficiency. 8-22 - Qiang Guo, John Derrick
, Clara Benac Earle, Lars-Åke Fredlund:
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. 23-38 - Daniel Hoffman, Chien Chang, Gary Bazdell, Brett Stevens, Kevin Yoo:
Bad Pairs in Software Testing. 39-55 - Frank Eichinger, Victor Pankratius, Philipp W. L. Große, Klemens Böhm:
Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs. 56-71 - Antti Jääskeläinen:
Filtering Test Models to Support Incremental Testing. 72-87 - Mihai Nica, Simona Nica, Franz Wotawa:
Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? 88-103 - Ben W. Y. Kam, Thomas R. Dean:
Linguistic Security Testing for Text Communication Protocols. 104-117
Tool Papers
- Christian Wiederseiner, Shahnewaz A. Jolly, Vahid Garousi, Matt M. Eskandar:
An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation. 118-128 - Negar Koochakzadeh, Vahid Garousi:
TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization. 129-136 - Fayçal Bessayah, Ana R. Cavalli, Willian Maja, Eliane Martins, Andre Willik Valenti:
A Fault Injection Tool for Testing Web Services Composition. 137-146 - Marko Kääramees, Jüri Vain, Kullo Raiend:
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. 147-154 - Siamak Haschemi, Stephan Weißleder:
A Generic Approach to Run Mutation Analysis. 155-164
Challenge Paper
- Neil Walkinshaw:
The Practical Assessment of Test Sets with Inductive Inference Techniques. 165-172
Experience Reports
- Yana Momchilova Mileva, Valentin Dallmeier, Andreas Zeller:
Mining API Popularity. 173-180 - Muzammil Shahbaz, Robert Eschbach:
Automatic Discovery of Unspecified Behaviors in Automotive Control Software. 181-188
Fast Abstracts
- Vahid Garousi, Negar Koochakzadeh:
An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information. 189-193 - Mohammad Saeed Abou Trab, Bachar Alrouh, Steve Counsell, Robert M. Hierons, George Ghinea:
A Multi-criteria Decision Making Framework for Real Time Model-Based Testing. 194-197 - Huiqing Li, Simon J. Thompson:
Improved Testing through Refactoring: Experience from the ProTest Project. 198-202 - Konstantinos Bratanis, Dimitris Dranidis, Anthony J. H. Simons:
Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements. 203-206 - Lydie du Bousquet:
A New Approach for Software Testability. 207-210 - Phillip Heidegger, Annette Bieniusa, Peter Thiemann:
DOM Transactions for Testing JavaScript. 211-214 - André Riboira, Rui Abreu:
The GZoltar Project: A Graphical Debugger Interface. 215-218
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 2025-11-23 19:42 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:
