Mues, M., & Howar, F. (2020). JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems.
Citação norma ChicagoMues, Malte, and Falk Howar. "JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2020.
Citação norma MLAMues, Malte, and Falk Howar. "JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution)." Tools and Algorithms for the Construction and Analysis of Systems 2020.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.