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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 16

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 ◽

Cited By ~ 12

Author(s):

Tingting Yu ◽

Witawas Srisa-an ◽

Gregg Rothermel

Keyword(s):

Process Level

Download Full-text

Declarative mocking

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

10.1145/2483760.2483790 ◽

2013 ◽

Cited By ~ 5

Author(s):

Hesam Samimi ◽

Rebecca Hicks ◽

Ari Fogel ◽

Todd Millstein

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 ◽

Cited By ~ 21

Author(s):

Falk Howar ◽

Dimitra Giannakopoulou ◽

Zvonimir Rakamarić

Keyword(s):

Hybrid Learning ◽

Symbolic Analysis ◽

Interface Generation

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 ◽

Cited By ~ 8

Author(s):

Sangmin Park

Keyword(s):

Concurrency Bugs

Download Full-text

Faster mutation testing inspired by test prioritization and reduction

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

10.1145/2483760.2483782 ◽

2013 ◽

Cited By ~ 42

Author(s):

Lingming Zhang ◽

Darko Marinov ◽

Sarfraz Khurshid

Keyword(s):

Mutation Testing ◽

Test Prioritization

Download Full-text

Generation of test databases using sampling methods

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

10.1145/2483760.2492397 ◽

2013 ◽

Author(s):

Teodora Sandra Buda

Keyword(s):

Sampling Methods

Download Full-text

Automated testing with targeted event sequence generation

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

10.1145/2483760.2483777 ◽

2013 ◽

Cited By ~ 113

Author(s):

Casper S. Jensen ◽

Mukul R. Prasad ◽

Anders Møller

Keyword(s):

Automated Testing ◽

Event Sequence ◽

Sequence Generation

Download Full-text

Product-line verification with feature-oriented contracts

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

10.1145/2483760.2492396 ◽

2013 ◽

Cited By ~ 1

Author(s):

Thomas Thüm

Keyword(s):

Product Line

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 ◽

Cited By ~ 14

Author(s):

Cosmin Radoi ◽

Danny Dig

Keyword(s):

Race Detection ◽

Parallel Loops ◽

Static Race Detection

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

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

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

Declarative mocking

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

Debugging non-deadlock concurrency bugs

Faster mutation testing inspired by test prioritization and reduction

Generation of test databases using sampling methods

Automated testing with targeted event sequence generation

Product-line verification with feature-oriented contracts

Practical static race detection for Java parallel loops

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