Two papers at the ICST 2015 conference

ICST 2015

Two papers from our research group were accepted for the IEEE International Conference on Software Testing, Verification and Validation (ICST) conference. ICST is the premier conference for research in all areas related to software quality. ICST received this year also high number of submissions (from 132 submissions 32 technical research papers were accepted). New testing tools and results from testing in practice were presented in separate tracks. After and before the conference 7 workshops were co-located. More than 200 participants registered for the conference both from academia and industry.

From our research group Zoltán Micskei presented our newest work (developed with our Master students):

L. Cseppentő, Z. Micskei. „Evaluating Symbolic Execution-based Test Tools”: a method and framework for evaluating and comparing test input generator tools. The framework and all the result data are available openly: SETTE. Main results are summarized here: see prezi.

D. Honfi, A. Vörös, Z. Micskei „SEViz: A Tool for Visualizing Symbolic Execution”: a tool paper presenting our prototype helping symbolic executaion-based test generation. The tool's tutorial and source are available here: SEViz. A screencast. presenting the main functionalitiy of the tool.

SEViz: a tool for visualizing symbolic executionEvaluating test input generator tools