Array representation in symbolic execution

Authors:
Alberto Coen-Porisini;Flavio de Paoli
Affiliations:
-;-
Venue:
Computer Languages
Year:
1993

Citing 0
Cited 2

Exploring dataflow testing of arrays

ICSE '93 Proceedings of the 15th international conference on Software Engineering
Automatic test data generation using constraint solving techniques

Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract