2013 IEEE Sixth International Conference on Software Testing, Verification and Validation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780769549682, 9781467359610

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2013.46 ◽

2013 ◽

Cited By ~ 20

Author(s):

Pablo Abad ◽

Nazareno Aguirre ◽

Valeria Bengolea ◽

Daniel Ciolek ◽

Marcelo F. Frias ◽

...

Keyword(s):

Test Generation ◽

Sat Solving

Download Full-text

AVA: Supporting Debugging with Failure Interpretations

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2013.58 ◽

2013 ◽

Cited By ~ 4

Author(s):

Fabrizio Pastore ◽

Leonardo Mariani

Download Full-text

Testing Database-Centric Applications for Causes of Database Deadlocks

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2013.19 ◽

2013 ◽

Cited By ~ 10

Author(s):

Mark Grechanik ◽

B.M. Mainul Hossain ◽

Ugo Buy

Download Full-text

[Copyright notice]

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2013.3 ◽

2013 ◽

Keyword(s):

Download Full-text

A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2013.66 ◽

2013 ◽

Author(s):

Sheikh Umar Farooq ◽

SMK Quadri ◽

Nesar Ahmad

Keyword(s):

Software Testing ◽

Controlled Experiment ◽

Testing Methods ◽

Effectiveness And Efficiency

Download Full-text

MFL: Method-Level Fault Localization with Causal Inference

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2013.31 ◽

2013 ◽

Cited By ~ 18

Author(s):

Gang Shu ◽

Boya Sun ◽

Andy Podgurski ◽

Feng Cao

Keyword(s):

Causal Inference ◽

Fault Localization

Download Full-text

RAILROADMAP: An Agile Security Testing Framework for Web-application Development

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2013.80 ◽

2013 ◽

Cited By ~ 2

Author(s):

Seiji Munetoh ◽

Nobukazu Yoshioka

Keyword(s):

Web Application ◽

Security Testing ◽

Application Development ◽

Testing Framework ◽

Web Application Development

Download Full-text

Scaling Model Checking for Test Generation Using Dynamic Inference

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2013.29 ◽

2013 ◽

Cited By ~ 5

Author(s):

Anand Yeolekar ◽

Divyesh Unadkat ◽

Vivek Agarwal ◽

Shrawan Kumar ◽

R. Venkatesh

Keyword(s):

Model Checking ◽

Test Generation ◽

Scaling Model

Download Full-text

Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2013.47 ◽

2013 ◽

Cited By ~ 19

Author(s):

Gregory M. Kapfhammer ◽

Phil McMinn ◽

Chris J. Wright

Keyword(s):

Database Management ◽

Database Management Systems ◽

Integrity Constraints ◽

Management Systems ◽

Relational Schema

Download Full-text

Crowdsourcing GUI Tests

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation ◽

10.1109/icst.2013.44 ◽

2013 ◽

Cited By ~ 22

Author(s):

Eelco Dolstra ◽

Raynor Vliegendhart ◽

Johan Pouwelse

Download Full-text

2013 IEEE Sixth International Conference on Software Testing, Verification and ValidationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

AVA: Supporting Debugging with Failure Interpretations

Testing Database-Centric Applications for Causes of Database Deadlocks

[Copyright notice]

A Controlled Experiment to Evaluate Effectiveness and Efficiency of Three Software Testing Methods

MFL: Method-Level Fault Localization with Causal Inference

RAILROADMAP: An Agile Security Testing Framework for Web-application Development

Scaling Model Checking for Test Generation Using Dynamic Inference

Search-Based Testing of Relational Schema Integrity Constraints Across Multiple Database Management Systems

Crowdsourcing GUI Tests

2013 IEEE Sixth International Conference on Software Testing, Verification and Validation
Latest Publications