Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11
Latest Publications

TOTAL DOCUMENTS

35

(FIVE YEARS 0)

H-INDEX

19

(FIVE YEARS 0)

Published By ACM Press

9781450305624

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Selecting peers for execution comparison

Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 ◽

10.1145/2001420.2001458 ◽

2011 ◽

Author(s):

William N. Sumner ◽

Tao Bao ◽

Xiangyu Zhang

Download Full-text

Change-aware preemption prioritization

Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 ◽

10.1145/2001420.2001437 ◽

2011 ◽

Author(s):

Vilas Jagannath ◽

Qingzhou Luo ◽

Darko Marinov

Download Full-text

Testing concurrent programs on relaxed memory models

Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 ◽

10.1145/2001420.2001436 ◽

2011 ◽

Author(s):

Jacob Burnim ◽

Koushik Sen ◽

Christos Stergiou

Keyword(s):

Memory Models ◽

Concurrent Programs ◽

Download Full-text

Feedback driven adaptive combinatorial testing

Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 ◽

10.1145/2001420.2001450 ◽

2011 ◽

Author(s):

Emine Dumlu ◽

Cemal Yilmaz ◽

Myra B. Cohen ◽

Adam Porter

Keyword(s):

Combinatorial Testing

Download Full-text

Automated framework for formal operator task analysis

Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 ◽

10.1145/2001420.2001430 ◽

2011 ◽

Author(s):

Ayesha Yasmeen ◽

Elsa L. Gunter

Keyword(s):

Download Full-text

Bounded verification of Ruby on Rails data models

Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 ◽

10.1145/2001420.2001429 ◽

2011 ◽

Author(s):

Jaideep Nijjar ◽

Tevfik Bultan

Keyword(s):

Data Models ◽

Download Full-text

Polyglot

Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 ◽

10.1145/2001420.2001427 ◽

2011 ◽

Author(s):

Daniel Balasubramanian ◽

Corina S. Păsăreanu ◽

Michael W. Whalen ◽

Gábor Karsai ◽

Michael Lowry

Download Full-text

Combined static and dynamic automated test generation

Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 ◽

10.1145/2001420.2001463 ◽

2011 ◽

Author(s):

Sai Zhang ◽

David Saff ◽

Yingyi Bu ◽

Michael D. Ernst

Keyword(s):

Test Generation ◽

Automated Test Generation ◽

Download Full-text

Are automated debugging techniques actually helping programmers?

Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 ◽

10.1145/2001420.2001445 ◽

2011 ◽

Author(s):

Chris Parnin ◽

Alessandro Orso

Keyword(s):

Automated Debugging

Download Full-text

Automatic partial loop summarization in dynamic test generation

Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 ◽

10.1145/2001420.2001424 ◽

2011 ◽

Author(s):

Patrice Godefroid ◽

Daniel Luchaup

Keyword(s):

Test Generation ◽

Download Full-text