Constraint Based Testing and Verification of Java Bytecode Programs
Year: 2018
Type: conference-paper
Authors: Safaa Achour, Mohammzed Benattou
Institution: Université Ibn-Tofail
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2907278310
