| layout | page |
|---|---|
| title | Publications |
| permalink | /publications/ |
To Appear, Main Research track, International Symposium on Software Testing and Analysis (ISSTA 2017)
Our second publication for ReDeCheck, it is due to be published in July in Santa Barbara, California. Links to the paper and presentation will be uploaded after publication.
To Appear, "Tool Demonstration" track, International Symposium on Software Testing and Analysis (ISSTA 2017)
A tool demonstration paper presenting the implementation of ReDeCheck, along with usage scenarios.
"New Ideas" track, 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015)
Our first publication for ReDeCheck, it was presented at ASE 2015 by Thomas in Lincoln, Nebraska, USA. Links to both the paper and the presentation slides can be found below.