Abstract is missing.
- An approach for modeling dynamic analysis using ontologiesNewres Al Haider, Paddy Nixon, Benoit Gaudin. 1-6 [doi]
- Using compression algorithms to support the comprehension of program tracesNeil Walkinshaw, Sheeva Afshan, Phil McMinn. 8-13 [doi]
- Detection of high-level execution patterns in reactive behavior of control programsHerbert Prähofer, Roland Schatz, Christian Wirth. 14-19 [doi]
- DSDSR: a tool that uses dynamic symbolic execution for data structure repairIshtiaque Hussain, Christoph Csallner. 20-25 [doi]
- Dsc+Mock: a test case + mock class generator in support of coding against interfacesMainul Islam, Christoph Csallner. 26-31 [doi]
- Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systemsAntinisca Di Marco, Antonia Bertolino, Felicita Di Giandomenico, Paolo Masci, Antonino Sabetta. 32-37 [doi]