Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013
Latest Publications

TOTAL DOCUMENTS

38

(FIVE YEARS 0)

H-INDEX

15

(FIVE YEARS 0)

Published By ACM Press

9781450321594

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Finding your way in the testing jungle: a learning approach to web security testing

Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 ◽

10.1145/2483760.2483776 ◽

2013 ◽

Author(s):

Omer Tripp ◽

Omri Weisman ◽

Lotem Guy

Keyword(s):

Web Security ◽

Learning Approach ◽

Security Testing

Download Full-text

SimRacer: an automated framework to support testing for process-level races

Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 ◽

10.1145/2483760.2483771 ◽

2013 ◽

Author(s):

Tingting Yu ◽

Witawas Srisa-an ◽

Gregg Rothermel

Keyword(s):

Download Full-text

Declarative mocking

Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 ◽

10.1145/2483760.2483790 ◽

2013 ◽

Author(s):

Hesam Samimi ◽

Rebecca Hicks ◽

Ari Fogel ◽

Todd Millstein

Download Full-text

Debugging non-deadlock concurrency bugs

Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 ◽

10.1145/2483760.2492395 ◽

2013 ◽

Author(s):

Sangmin Park

Keyword(s):

Concurrency Bugs

Download Full-text

Hybrid learning: interface generation through static, dynamic, and symbolic analysis

Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 ◽

10.1145/2483760.2483783 ◽

2013 ◽

Author(s):

Falk Howar ◽

Dimitra Giannakopoulou ◽

Zvonimir Rakamarić

Keyword(s):

Hybrid Learning ◽

Symbolic Analysis ◽

Interface Generation

Download Full-text

Practical static race detection for Java parallel loops

Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 ◽

10.1145/2483760.2483765 ◽

2013 ◽

Author(s):

Cosmin Radoi ◽

Danny Dig

Keyword(s):

Race Detection ◽

Parallel Loops ◽

Static Race Detection

Download Full-text

Expressing and checking intended changes via software change contracts

Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 ◽

10.1145/2483760.2483772 ◽

2013 ◽

Author(s):

Jooyong Yi ◽

Dawei Qi ◽

Shin Hwei Tan ◽

Abhik Roychoudhury

Keyword(s):

Software Change

Download Full-text

Calculating source line level energy information for Android applications

Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 ◽

10.1145/2483760.2483780 ◽

2013 ◽

Author(s):

Ding Li ◽

Shuai Hao ◽

William G. J. Halfond ◽

Ramesh Govindan

Keyword(s):

Level Energy ◽

Source Line ◽

Android Applications ◽

Energy Information

Download Full-text

F3: fault localization for field failures

Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 ◽

10.1145/2483760.2483763 ◽

2013 ◽

Author(s):

Wei Jin ◽

Alessandro Orso

Keyword(s):

Fault Localization

Download Full-text

Generation of Java programs properties from test purposes

Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 ◽

10.1145/2483760.2492400 ◽

2013 ◽

Author(s):

Simone Hanazumi ◽

Ana C. V. De Melo

Keyword(s):

Download Full-text