2009 International Conference on Software Testing Verification and Validation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424437757

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Transforming and Selecting Functional Test Cases for Security Policy Testing

2009 International Conference on Software Testing Verification and Validation ◽

10.1109/icst.2009.49 ◽

2009 ◽

Cited By ~ 13

Author(s):

Tejeddine Mouelhi ◽

Yves Le Traon ◽

Benoit Baudry

Keyword(s):

Security Policy ◽

Functional Test ◽

Test Cases ◽

Policy Testing

Euclide: A Constraint-Based Testing Framework for Critical C Programs

2009 International Conference on Software Testing Verification and Validation ◽

10.1109/icst.2009.10 ◽

2009 ◽

Cited By ~ 20

Author(s):

Arnaud Gotlieb

Keyword(s):

C Programs ◽

Testing Framework

Test Automation on a SaaS Platform

2009 International Conference on Software Testing Verification and Validation ◽

10.1109/icst.2009.46 ◽

2009 ◽

Cited By ~ 11

Author(s):

Reena Mathew ◽

Ryan Spraetz

Keyword(s):

Test Automation

Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing

2009 International Conference on Software Testing Verification and Validation ◽

10.1109/icst.2009.13 ◽

2009 ◽

Cited By ~ 13

Author(s):

Garrett Kent Kaminski ◽

Paul Ammann

Keyword(s):

Mutation Testing

A Model Building Process for Identifying Actionable Static Analysis Alerts

2009 International Conference on Software Testing Verification and Validation ◽

10.1109/icst.2009.45 ◽

2009 ◽

Cited By ~ 19

Author(s):

Sarah Heckman ◽

Laurie Williams

Keyword(s):

Static Analysis ◽

Model Building ◽

Building Process ◽

Model Building Process

A Simple Approach for Estimation of Execution Effort of Functional Test Cases

2009 International Conference on Software Testing Verification and Validation ◽

10.1109/icst.2009.47 ◽

2009 ◽

Cited By ~ 4

Author(s):

Daniel Guerreiro e Silva ◽

Bruno Teixeira de Abreu ◽

Mario Jino

Keyword(s):

Simple Approach ◽

Functional Test ◽

Test Cases

Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking

2009 International Conference on Software Testing Verification and Validation ◽

10.1109/icst.2009.39 ◽

2009 ◽

Cited By ~ 3

Author(s):

Hendrik Post ◽

Carsten SInz

Keyword(s):

Model Checking ◽

Bounded Model Checking ◽

Functional Equivalence

PKorat: Parallel Generation of Structurally Complex Test Inputs

2009 International Conference on Software Testing Verification and Validation ◽

10.1109/icst.2009.48 ◽

2009 ◽

Cited By ~ 13

Author(s):

Junaid Haroon Siddiqui ◽

Sarfraz Khurshid

Keyword(s):

Complex Test

Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned

2009 International Conference on Software Testing Verification and Validation ◽

10.1109/icst.2009.8 ◽

2009 ◽

Cited By ~ 11

Author(s):

Negar Koochakzadeh ◽

Vahid Garousi ◽

Frank Maurer

Keyword(s):

Lessons Learned

Automatic Test Generation for Coverage Analysis of ERTMS Software

2009 International Conference on Software Testing Verification and Validation ◽

10.1109/icst.2009.22 ◽

2009 ◽

Cited By ~ 1

Author(s):

Damiano Angeletti ◽

Enrico Giunchiglia ◽

Massimo Narizzano ◽

Alessandra Puddu ◽

Salvatore Sabina

Keyword(s):

Test Generation ◽

Automatic Test Generation ◽

Automatic Test ◽

Coverage Analysis

2009 International Conference on Software Testing Verification and ValidationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Transforming and Selecting Functional Test Cases for Security Policy Testing

Euclide: A Constraint-Based Testing Framework for Critical C Programs

Test Automation on a SaaS Platform

Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing

A Model Building Process for Identifying Actionable Static Analysis Alerts

A Simple Approach for Estimation of Execution Effort of Functional Test Cases

Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking

PKorat: Parallel Generation of Structurally Complex Test Inputs

Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned

Automatic Test Generation for Coverage Analysis of ERTMS Software

2009 International Conference on Software Testing Verification and Validation
Latest Publications