Sign in
TAIC PART
2006
2007
2009
2010
2006
2010
Keyphrases
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)
2006
Keqin Li
,
Roland Groz
,
Muzammil Shahbaz
Integration Testing of Components Guided by Incremental State Machine Learning.
TAIC PART
(2006)
Mika Katara
,
Antti Kervinen
,
Mika Maunumaa
,
Tuula Pääkkönen
,
Mikko Satama
Towards Deploying Model-Based Testing with a Domain-Specific Modeling Approach.
TAIC PART
(2006)
TAIC PART Organization.
TAIC PART
(2006)
Muzammil Shahbaz
Incremental Inference of Black-Box Components to Support Integration Testing.
TAIC PART
(2006)
José García-Fanjul
,
Claudio de la Riva
,
Javier Tuya
Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking.
TAIC PART
(2006)
TAIC PART Sponsors.
TAIC PART
(2006)
Harry M. Sneed
Testing a Datawarehouse - An Industrial Challenge.
TAIC PART
(2006)
Jani Pesonen
Extending Software Integration Testing Using Aspects in Symbian OS.
TAIC PART
(2006)
Ian Holden
,
Dave Dalton
Improving Testing Efficiency using Cumulative Test Analysis.
TAIC PART
(2006)
Ian Gilchrist
Justifying Software Testing in the 21st Century.
TAIC PART
(2006)
Daniel Brenner
Enabling Run-Time System Verification through Built-In Testing.
TAIC PART
(2006)
Paul Baker
,
Dominic Evans
,
Jens Grabowski
,
Helmut Neukirchen
,
Benjamin Zeiss
TRex - The Refactoring and Metrics Tool for TTCN-3 Test Specifications.
TAIC PART
(2006)
Neil Walkinshaw
,
Kirill Bogdanov
,
Mike Holcombe
Identifying State Transitions and their Functions in Source Code.
TAIC PART
(2006)
Serguei A. Roubtsov
,
Petra Heck
Use Case-Based Acceptance Testing of a Large Industrial System: Approach and Experience Report.
TAIC PART
(2006)
Program Committee.
TAIC PART
(2006)
Thomas J. Ostrand
,
Elaine J. Weyuker
On the Automation of Software Fault Prediction.
TAIC PART
(2006)
Mats Grindal
,
Jeff Offutt
,
Jonas Mellin
On the Testing Maturity of Software Producing Organizations.
TAIC PART
(2006)
Jean-Jacques Gras
,
Rishabh Gupta
,
Elena Pérez-Miñana
Generating a Test Strategy with Bayesian Networks and Common Sense.
TAIC PART
(2006)
Steve Counsell
,
Robert M. Hierons
,
Rajaa Najjar
,
George Loizou
,
Youssef Hassoun
The Effectiveness of Refactoring, Based on a Compatibility Testing Taxonomy and a Dependency Graph.
TAIC PART
(2006)
Jeremy Gardiner
Delayed Failures in Software Using High Volume Automated Testing.
TAIC PART
(2006)
Preface.
TAIC PART
(2006)
Robby
,
Matthew B. Dwyer
,
John Hatcliff
Bogor: A Flexible Framework for Creating Software Model Checkers.
TAIC PART
(2006)
Keynotes.
TAIC PART
(2006)
Sigrid Eldh
,
Hans Hansson
,
Sasikumar Punnekkat
,
Anders Pettersson
,
Daniel Sundmark
A Framework for Comparing Efficiency, Effectiveness and Applicability of Software Testing Techniques.
TAIC PART
(2006)