*Result*: JDart: Dynamic Symbolic Execution for JAVA Bytecode (Competition Contribution)

JDart: Dynamic Symbolic Execution for JAVA Bytecode (Competition Contribution)
Tools and algorithms for the construction and analysis of systems (International conference)

Mues, Malte, Howar, Falk

Lecture notes in computer science. 12079:398-402

http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN606181047&indx=1&recIds=ETOCCN606181047

British Library Document Supply Centre Inside Serials & Conference Proceedings