APA (7th ed.) Citation

Tan, J. Heuristic-guided counterexample search in FLAVERS. Software engineering notes..

Chicago Style (17th ed.) Citation

Tan, Jianbin. "Heuristic-guided Counterexample Search in FLAVERS." Software Engineering Notes. .

MLA (9th ed.) Citation

Tan, Jianbin. "Heuristic-guided Counterexample Search in FLAVERS." Software Engineering Notes., .

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