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

TOTAL DOCUMENTS

66

(FIVE YEARS 0)

H-INDEX

16

(FIVE YEARS 0)

Published By IEEE

9781612841748

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Author(s):

Hadi Hemmati ◽

Andrea Arcuri ◽

Lionel Briand

Keyword(s):

Empirical Investigation ◽

Test Case ◽

Test 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 ◽

Author(s):

Joachim Hänsel ◽

Daniela Rose ◽

Paula Herber ◽

Sabine Glesner

Keyword(s):

Evolutionary Algorithm ◽

Real Time ◽

Real 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 ◽

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 ◽

Author(s):

Haitao Dan ◽

Robert M. Hierons

Keyword(s):

Conformance Testing ◽

Message Sequence Charts

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 ◽

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 ◽

Author(s):

Sofia Bekrar ◽

Chaouki Bekrar ◽

Roland Groz ◽

Laurent Mounier

Keyword(s):

Software Vulnerabilities

Download Full-text

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 ◽

Author(s):

Rubén Casado ◽

Javier Tuya ◽

Muhammad Younas

Keyword(s):

Download Full-text

Exploiting Common Object Usage in Test Case Generation

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

10.1109/icst.2011.53 ◽

2011 ◽

Author(s):

Gordon Fraser ◽

Andreas Zeller

Keyword(s):

Test Case Generation ◽

Test Case ◽

Common Object ◽

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 ◽

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 ◽

Author(s):

Petar Tsankov ◽

Wei Jin ◽

Alessandro Orso ◽

Saurabh Sinha

Keyword(s):

Dynamic Analysis

Download Full-text