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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450305624

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 46

Author(s):

Jacob Burnim ◽

Koushik Sen ◽

Christos Stergiou

Keyword(s):

Memory Models ◽

Concurrent Programs ◽

Relaxed Memory

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 ◽

Cited By ~ 19

Author(s):

Vilas Jagannath ◽

Qingzhou Luo ◽

Darko Marinov

Download Full-text

Selecting peers for execution comparison

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

10.1145/2001420.2001458 ◽

2011 ◽

Cited By ~ 11

Author(s):

William N. Sumner ◽

Tao Bao ◽

Xiangyu Zhang

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 ◽

Cited By ~ 24

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 ◽

Cited By ~ 3

Author(s):

Ayesha Yasmeen ◽

Elsa L. Gunter

Keyword(s):

Task Analysis

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 ◽

Cited By ~ 13

Author(s):

Jaideep Nijjar ◽

Tevfik Bultan

Keyword(s):

Data Models ◽

Ruby On Rails

Download Full-text

Polyglot

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

10.1145/2001420.2001427 ◽

2011 ◽

Cited By ~ 21

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 ◽

Cited By ~ 55

Author(s):

Sai Zhang ◽

David Saff ◽

Yingyi Bu ◽

Michael D. Ernst

Keyword(s):

Test Generation ◽

Automated Test Generation ◽

Automated Test

Download Full-text

Demand-driven context-sensitive alias analysis for Java

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

10.1145/2001420.2001440 ◽

2011 ◽

Cited By ~ 40

Author(s):

Dacong Yan ◽

Guoqing Xu ◽

Atanas Rountev

Keyword(s):

Alias Analysis ◽

Context Sensitive

Download Full-text

Generating parameterized unit tests

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

10.1145/2001420.2001464 ◽

2011 ◽

Cited By ~ 27

Author(s):

Gordon Fraser ◽

Andreas Zeller

Keyword(s):

Unit Tests

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Testing concurrent programs on relaxed memory models

Change-aware preemption prioritization

Selecting peers for execution comparison

Feedback driven adaptive combinatorial testing

Automated framework for formal operator task analysis

Bounded verification of Ruby on Rails data models

Polyglot

Combined static and dynamic automated test generation

Demand-driven context-sensitive alias analysis for Java

Generating parameterized unit tests

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