APA (7th ed.) Citation

Clarke, D. STG: A tool for generating symbolic test programs and oracles from operational specifications. Software engineering notes..

Chicago Style (17th ed.) Citation

Clarke, Duncan. "STG: A Tool for Generating Symbolic Test Programs and Oracles from Operational Specifications." Software Engineering Notes. .

MLA (9th ed.) Citation

Clarke, Duncan. "STG: A Tool for Generating Symbolic Test Programs and Oracles from Operational Specifications." Software Engineering Notes., .

Warning: These citations may not always be 100% accurate.