TAIC PART

Publications

2010

P. Vijay Suman, Tukaram Muske, Prasad Bokil, Ulka Shrotri, R. Venkatesh
Masking Boundary Value Coverage: Effectiveness and Efficiency. TAIC PART (2010)
Mihai Nica, Simona Nica, Franz Wotawa
Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? TAIC PART (2010)
Wolfgang Grieskamp
Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing. TAIC PART (2010)
Muzammil Shahbaz, Robert Eschbach
Automatic Discovery of Unspecified Behaviors in Automotive Control Software. TAIC PART (2010)
Daniel Hoffman, Chien Chang, Gary Bazdell, Brett Stevens, Kevin Yoo
Bad Pairs in Software Testing. TAIC PART (2010)
Vahid Garousi, Negar Koochakzadeh
An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information. TAIC PART (2010)
Huiqing Li, Simon J. Thompson
Improved Testing through Refactoring: Experience from the ProTest Project. TAIC PART (2010)
Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund
Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. TAIC PART (2010)
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. TAIC PART (2010)
Bertrand Meyer
Automatic Testing and Fixing for Eiffel - (Extended Abstract). TAIC PART (2010)
Ben W. Y. Kam, Thomas R. Dean
Linguistic Security Testing for Text Communication Protocols. TAIC PART (2010)
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. TAIC PART (2010)
Lydie du Bousquet
A New Approach for Software Testability. TAIC PART (2010)
Tony Hoare
Testing and Proving, Hand-in-Hand. TAIC PART (2010)
Fayçal Bessayah, Ana R. Cavalli, Willian Maja, Eliane Martins, Andre Willik Valenti
A Fault Injection Tool for Testing Web Services Composition. TAIC PART (2010)
Antti Jääskeläinen
Filtering Test Models to Support Incremental Testing. TAIC PART (2010)
Neil Walkinshaw
The Practical Assessment of Test Sets with Inductive Inference Techniques. TAIC PART (2010)
Marko Kääramees, Jüri Vain, Kullo Raiend
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. TAIC PART (2010)
Siamak Haschemi, Stephan Weißleder
A Generic Approach to Run Mutation Analysis. TAIC PART (2010)
Phillip Heidegger, Annette Bieniusa, Peter Thiemann
DOM Transactions for Testing JavaScript. TAIC PART (2010)
André Riboira, Rui Abreu
The GZoltar Project: A Graphical Debugger Interface. TAIC PART (2010)
Konstantinos Bratanis, Dimitris Dranidis, Anthony J. H. Simons
Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements. TAIC PART (2010)
Yana Momchilova Mileva, Valentin Dallmeier, Andreas Zeller
Mining API Popularity. TAIC PART (2010)
Frank Eichinger, Victor Pankratius, Philipp W. L. Große, Klemens Böhm
Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs. TAIC PART (2010)
Negar Koochakzadeh, Vahid Garousi
TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization. TAIC PART (2010)

volume 6303, 2010

Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings TAIC PART 6303 (2010)