2011 Fourth IEEE International Conference on Software Testing, Verification and Validation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781612841748

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Framework to Test Advanced Web Services Transactions

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2011.44 ◽

2011 ◽

Cited By ~ 4

Author(s):

Rubén Casado ◽

Javier Tuya ◽

Muhammad Younas

Keyword(s):

Web Services

Download Full-text

Experiences of System-Level Model-Based GUI Testing of an Android Application

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2011.11 ◽

2011 ◽

Cited By ~ 53

Author(s):

Tommi Takala ◽

Mika Katara ◽

Julian Harty

Keyword(s):

System Level ◽

Android Application ◽

Gui Testing ◽

Model Based ◽

Level Model ◽

System Level Model

Download Full-text

Finding Software Vulnerabilities by Smart Fuzzing

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2011.48 ◽

2011 ◽

Cited By ~ 26

Author(s):

Sofia Bekrar ◽

Chaouki Bekrar ◽

Roland Groz ◽

Laurent Mounier

Keyword(s):

Software Vulnerabilities

Download Full-text

Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2011.12 ◽

2011 ◽

Cited By ~ 18

Author(s):

Hadi Hemmati ◽

Andrea Arcuri ◽

Lionel Briand

Keyword(s):

Empirical Investigation ◽

Test Suite ◽

Test Case ◽

Test Case Selection ◽

Case Selection

Download Full-text

An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2011.37 ◽

2011 ◽

Cited By ~ 9

Author(s):

Joachim Hänsel ◽

Daniela Rose ◽

Paula Herber ◽

Sabine Glesner

Keyword(s):

Evolutionary Algorithm ◽

Real Time ◽

Real Time Systems ◽

Timed Test ◽

Time Systems

Download Full-text

Mutation Testing of "Go-Back" Functions Based on Pushdown Automata

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2011.30 ◽

2011 ◽

Cited By ~ 6

Author(s):

Fevzi Belli ◽

Mutlu Beyazit ◽

Tomohiko Takagi ◽

Zengo Furukawa

Keyword(s):

Mutation Testing ◽

Pushdown Automata

Download Full-text

Conformance Testing from Message Sequence Charts

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2011.29 ◽

2011 ◽

Cited By ~ 8

Author(s):

Haitao Dan ◽

Robert M. Hierons

Keyword(s):

Conformance Testing ◽

Message Sequence Charts

Download Full-text

Using Property-Based Oracles when Testing Embedded System Applications

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2011.33 ◽

2011 ◽

Cited By ~ 9

Author(s):

Tingting Yu ◽

Ahyoung Sung ◽

Witiwas Srisa-an ◽

Gregg Rothermel

Keyword(s):

Embedded System

Download Full-text

Execution Hijacking: Improving Dynamic Analysis by Flying off Course

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2011.45 ◽

2011 ◽

Cited By ~ 6

Author(s):

Petar Tsankov ◽

Wei Jin ◽

Alessandro Orso ◽

Saurabh Sinha

Keyword(s):

Dynamic Analysis

Download Full-text

Publisher Information

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2011.26 ◽

2011 ◽

Download Full-text

2011 Fourth IEEE International Conference on Software Testing, Verification and ValidationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A Framework to Test Advanced Web Services Transactions

Experiences of System-Level Model-Based GUI Testing of an Android Application

Finding Software Vulnerabilities by Smart Fuzzing

Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection

An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems

Mutation Testing of "Go-Back" Functions Based on Pushdown Automata

Conformance Testing from Message Sequence Charts

Using Property-Based Oracles when Testing Embedded System Applications

Execution Hijacking: Improving Dynamic Analysis by Flying off Course

Publisher Information

2011 Fourth IEEE International Conference on Software Testing, Verification and Validation
Latest Publications