Login / Signup
Formal method for automated testing data flow aspects of communications protocols, software, and systems specified in Lotos.
Hazem El-Gendy
Nabil El-Kadhi
Published in:
J. Comput. Methods Sci. Eng. (2005)
Keyphrases
</>
data flow
detection method
computer systems
database
similarity measure
high accuracy
clustering method
objective function
pairwise
significant improvement
test data
database machine
application level
parallel implementation
software maintenance
software systems
test set
management system
database systems