Andreas Holzer
mail-address:
Andreas Holzer
Technische Universität Wien
Institut für Informationssysteme 184/4
Arbeitsbereich Formal Methods in Systems Engineering
Favoritenstraße 9–11
1040 Wien
Austria
room: HC 03 13
phone: +43 (1) 58801 – 184 67
email: ta.etysrofnull@rezloh
Student Projects
I’m offering student projects, see Teaching.
Publications
| 2011 | |
| [12] | An Introduction to Test Specification in FQL In Proceedings of 6th International Haifa Verification Conference (HVC 2011) (Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz, eds.), volume 6504 of Lecture Notes in Computer Science, pages 9-22, October 2011.Springer [bib] |
| [11] | Seamless Testing for Models and Code In Proceedings of 14th International Conference on Fundamental Approaches to Software Engineering (FASE 2011), volume 6603 of Lecture Notes in Computer Science, pages 278-293, April 2011.Springer [bib] |
| 2010 | |
| [10] | Timely Time Estimates In Proceedings of 4th International Symposium on Leveraging Applications (ISoLA 2010) (Tiziana Margaria, Bernhard Steffen, eds.), volume 6415 of Lecture Notes in Computer Science, pages 33-46, October 2010.Springer [bib] [doi] |
| [9] | How did you specify your test suite ? In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), pages 407-416, September 2010.ACM [bib] |
| 2009 | |
| [8] | Slope Testing for Activity Diagrams and Safety Critical Software October 2009.Technical report, Technische Universität Darmstadt [bib] |
| [7] | A Precise Specification Framework for White Box Program Testing September 2009.Technical report, Technische Universität Darmstadt [bib] |
| [6] | Query-Driven Program Testing In Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009) (Neil D. Jones, Markus Müller-Olm, eds.), volume 5403 of Lecture Notes in Computer Science, pages 151-166, January 2009.Springer [bib] |
| [5] | Towards Resource Consumption-Aware Programming In , volume 0, pages 490-493, 2009.IEEE Computer Society [bib] [doi] |
| [4] | Dependency Coverage Criteria with FQL 2009.Technical report, Technische Universität Darmstadt [bib] |
| 2008 | |
| [3] | Query-Driven Program Testing October 2008.Technical report, Technische Universität Darmstadt [bib] |
| [2] | FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement In Proceedings of the 20th International Conference on Computer Aided Verification (CAV 2008), volume 5123 of Lecture Notes in Computer Science, pages 209-213, July 2008.Springer [bib] |
| 2007 | |
| [1] | Using Verification Technology to Specify and Detect Malware In 11th International Conference on Computer Aided Systems Theory (EUROCAST 2007), volume 4739 of Lecture Notes in Computer Science, pages 497-504, 2007.Springer [bib] |
Powered by bibtexbrowser