Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897919718

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Computation of interprocedural control dependence

Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 ◽

10.1145/271771.271780 ◽

1998 ◽

Cited By ~ 23

Author(s):

Mary Jean Harrold ◽

Gregg Rothermel ◽

Saurabh Sinha

Keyword(s):

Control Dependence

Download Full-text

What can we learn by testing a program?

Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 ◽

10.1145/271771.271788 ◽

1998 ◽

Author(s):

Dick Hamlet

Download Full-text

Comparing flow and context sensitivity on the modification-side-effects problem

Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 ◽

10.1145/271771.271782 ◽

1998 ◽

Cited By ~ 15

Author(s):

Philip A. Stocks ◽

Barbara G. Ryder ◽

William A. Landi ◽

Sean Zhang

Keyword(s):

Side Effects ◽

Context Sensitivity

Download Full-text

An experiment in estimating reliability growth under both representative and directed testing

Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 ◽

10.1145/271771.271784 ◽

1998 ◽

Author(s):

Brian Mitchell ◽

Steven J. Zeil

Keyword(s):

Reliability Growth

Download Full-text

Model checking without a model

Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 ◽

10.1145/271771.271800 ◽

1998 ◽

Cited By ~ 21

Author(s):

Patrice Godefroid ◽

Robert S. Hanmer ◽

Lalita Jategaonkar Jagadeesan

Keyword(s):

Model Checking

Download Full-text

Automatic interoperability test generation for source-to-source translators

Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 ◽

10.1145/271771.271796 ◽

1998 ◽

Cited By ~ 1

Author(s):

Mark Molloy ◽

Kristy Andrews ◽

James Herren ◽

David Cutler ◽

Paul Del Vigna

Keyword(s):

Test Generation ◽

Interoperability Test

Download Full-text

Automated regression test generation

Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 ◽

10.1145/271771.271803 ◽

1998 ◽

Cited By ~ 20

Author(s):

Bogdan Korel ◽

Ali M. Al-Yami

Keyword(s):

Test Generation ◽

Regression Test

Download Full-text

An applicable test data generation algorithm for domain errors

Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 ◽

10.1145/271771.271791 ◽

1998 ◽

Cited By ~ 8

Author(s):

Ákos Hajnal ◽

István Forgács

Keyword(s):

Test Data ◽

Test Data Generation ◽

Data Generation ◽

Generation Algorithm

Download Full-text

Verifying systems with integer constraints and Boolean predicates

Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 ◽

10.1145/271771.271799 ◽

1998 ◽

Cited By ~ 18

Author(s):

Tevfik Bultan ◽

Richard Gerber ◽

Christopher League

Keyword(s):

Integer Constraints

Download Full-text

Constructing compact models of concurrent Java programs

Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98 ◽

10.1145/271771.271778 ◽

1998 ◽

Cited By ~ 25

Author(s):

James C. Corbett

Keyword(s):

Java Programs ◽

Compact Models

Download Full-text

Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Computation of interprocedural control dependence

What can we learn by testing a program?

Comparing flow and context sensitivity on the modification-side-effects problem

An experiment in estimating reliability growth under both representative and directed testing

Model checking without a model

Automatic interoperability test generation for source-to-source translators

Automated regression test generation

An applicable test data generation algorithm for domain errors

Verifying systems with integer constraints and Boolean predicates

Constructing compact models of concurrent Java programs

Proceedings of ACM SIGSOFT international symposium on Software testing and analysis - ISSTA '98
Latest Publications