Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769529844, 9780769529844

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Mutation Testing from Probabilistic Finite State Machines

Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) ◽

10.1109/taicpart.2007.4344118 ◽

2007 ◽

Cited By ~ 1

Author(s):

Robert M. Hierons ◽

Mercedes G. Merayo

Keyword(s):

Finite State Machines ◽

Mutation Testing ◽

State Machines ◽

Finite State

Download Full-text

A Case for GUI Testing Using Symbolic Execution Poster Abstract

Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) ◽

10.1109/taicpart.2007.4344110 ◽

2007 ◽

Author(s):

Svetoslav Ganov ◽

Sarfraz Khurshid ◽

Dewayne Perry

Keyword(s):

Symbolic Execution ◽

Poster Abstract ◽

Gui Testing

Download Full-text

Lightweight State Based Mutation Testing for Security

Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) ◽

10.1109/taicpart.2007.4344127 ◽

2007 ◽

Author(s):

Songtao Zhang ◽

Thomas Dean ◽

Scott Knight

Keyword(s):

Mutation Testing

Download Full-text

A Case for GUI Testing Using Symbolic Execution Poster Abstract

Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) ◽

10.1109/taic.part.2007.35 ◽

2007 ◽

Author(s):

Svetoslav Ganov ◽

Sarfraz Khurshid ◽

Dewayne Perry

Keyword(s):

Symbolic Execution ◽

Poster Abstract ◽

Gui Testing

Download Full-text

Exploiting Constraint Solving History to Construct Interaction Test Suites

Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) ◽

10.1109/taicpart.2007.4344107 ◽

2007 ◽

Cited By ~ 2

Author(s):

Myra B. Cohen ◽

Matthew B. Dwyer ◽

Jiangfan Shi

Keyword(s):

Constraint Solving ◽

Test Suites ◽

Interaction Test

Download Full-text

Improving Evolutionary Testing in the Presence of Function-Assigned Flags

Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) ◽

10.1109/taicpart.2007.4344095 ◽

2007 ◽

Author(s):

Stefan Wappler ◽

Andre Baresel ◽

Joachim Wegener

Keyword(s):

Evolutionary Testing

Download Full-text

Modelling Dynamic Memory Management in Constraint-Based Testing

Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) ◽

10.1109/taicpart.2007.4344106 ◽

2007 ◽

Author(s):

Florence Charreteur ◽

Bernard Botella ◽

Arnaud Gotlieb

Keyword(s):

Memory Management ◽

Dynamic Memory ◽

Dynamic Memory Management

Download Full-text

Early UML Model Testing using TTCN-3 and the UML Testing Profile

Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) ◽

10.1109/taic.part.2007.33 ◽

2007 ◽

Cited By ~ 4

Author(s):

Paul Baker ◽

Clive Jervis

Keyword(s):

Model Testing

Download Full-text

On the Accuracy of Spectrum-based Fault Localization

Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) ◽

10.1109/taic.part.2007.13 ◽

2007 ◽

Cited By ~ 238

Author(s):

Rui Abreu ◽

Peter Zoeteweij ◽

Arjan J.C. van Gemund

Keyword(s):

Fault Localization

Download Full-text

Mutant Minimization for Model-Checker Based Test-Case Generation

Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) ◽

10.1109/taic.part.2007.30 ◽

2007 ◽

Cited By ~ 10

Author(s):

Gordon Fraser ◽

Franz Wotawa

Keyword(s):

Test Case Generation ◽

Test Case ◽

Model Checker

Download Full-text

Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Mutation Testing from Probabilistic Finite State Machines

A Case for GUI Testing Using Symbolic Execution Poster Abstract

Lightweight State Based Mutation Testing for Security

A Case for GUI Testing Using Symbolic Execution Poster Abstract

Exploiting Constraint Solving History to Construct Interaction Test Suites

Improving Evolutionary Testing in the Presence of Function-Assigned Flags

Modelling Dynamic Memory Management in Constraint-Based Testing

Early UML Model Testing using TTCN-3 and the UML Testing Profile

On the Accuracy of Spectrum-based Fault Localization

Mutant Minimization for Model-Checker Based Test-Case Generation

Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)
Latest Publications