2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781479957903

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

ArbitCheck: A Highly Automated Property-Based Testing Tool for Java

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops ◽

10.1109/icstw.2014.68 ◽

2014 ◽

Cited By ~ 2

Author(s):

Kohsuke Yatoh ◽

Kazunori Sakamoto ◽

Fuyuki Ishikawa ◽

Shinichi Honiden

Keyword(s):

Testing Tool

Download Full-text

Combinatorial Interaction Testing of a Java Card Static Verifier

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops ◽

10.1109/icstw.2014.10 ◽

2014 ◽

Cited By ~ 7

Author(s):

Andrea Calvagna ◽

Andrea Fornaia ◽

Emiliano Tramontana

Keyword(s):

Java Card ◽

Interaction Testing ◽

Combinatorial Interaction Testing

Download Full-text

Extracting the Combinatorial Test Parameters and Values from UML Sequence Diagrams

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops ◽

10.1109/icstw.2014.11 ◽

2014 ◽

Cited By ~ 5

Author(s):

Preeti Satish ◽

Arinjita Paul ◽

Krishnan Rangarajan

Keyword(s):

Sequence Diagrams ◽

Test Parameters

Download Full-text

Test Suite Reduction by Combinatorial-Based Coverage of Event Sequences

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops ◽

10.1109/icstw.2014.14 ◽

2014 ◽

Cited By ~ 5

Author(s):

Quentin Mayo ◽

Ryan Michaels ◽

Renee Bryce

Keyword(s):

Test Suite ◽

Event Sequences ◽

Test Suite Reduction

Download Full-text

Using Data Flow Patterns for Equivalent Mutant Detection

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops ◽

10.1109/icstw.2014.21 ◽

2014 ◽

Cited By ~ 6

Author(s):

Marinos Kintis ◽

Nicos Malevris

Keyword(s):

Data Flow ◽

Flow Patterns ◽

Using Data ◽

Mutant Detection

Download Full-text

Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops ◽

10.1109/icstw.2014.64 ◽

2014 ◽

Author(s):

Mihai Lica Pura ◽

Didier Buchs

Keyword(s):

Petri Nets ◽

Routing Protocols ◽

Ad Hoc ◽

Secure Routing ◽

Secure Routing Protocols

Download Full-text

[Publisher's information]

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops ◽

10.1109/icstw.2014.67 ◽

2014 ◽

Download Full-text

Viewpoint-Based Test Requirement Analaysis Modeling

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops ◽

10.1109/icstw.2014.71 ◽

2014 ◽

Author(s):

Yasuharu Nishi

Download Full-text

Exhaustive Exploration of Ajax Web Applications with Selective Jumping

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops ◽

10.1109/icstw.2014.26 ◽

2014 ◽

Cited By ~ 1

Author(s):

Sylvain Halle ◽

Gabriel Le Breton ◽

Fabien Maronnaud ◽

Alexandre Blondin Masse ◽

Sebastien Gaboury

Keyword(s):

Web Applications

Download Full-text

State Profiling of Internal Variables

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops ◽

10.1109/icstw.2014.37 ◽

2014 ◽

Cited By ~ 3

Author(s):

Wes Masri ◽

James Daou ◽

Rawad Abou Assi

Keyword(s):

Internal Variables

Download Full-text

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation WorkshopsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

ArbitCheck: A Highly Automated Property-Based Testing Tool for Java

Combinatorial Interaction Testing of a Java Card Static Verifier

Extracting the Combinatorial Test Parameters and Values from UML Sequence Diagrams

Test Suite Reduction by Combinatorial-Based Coverage of Event Sequences

Using Data Flow Patterns for Equivalent Mutant Detection

Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios

[Publisher's information]

Viewpoint-Based Test Requirement Analaysis Modeling

Exhaustive Exploration of Ajax Web Applications with Selective Jumping

State Profiling of Internal Variables

2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops
Latest Publications