burkhart.wolff

Bibliography:

• [1] Model-Checking oriented Program-Based Testing: Test Input Generation with Java PathFinder
• [2] Symbolic Execution oriented Program-Based Testing: JPF-SE: A Symbolic Execution Extension to Java PathFinder
• [3] Compositional Symbolic Execution oriented Program-Based Testing:Demand-Driven Compositional Symbolic Execution PEX System Description
• [4] Random-based Testing: Testing Monadic Code with QuickCheck, QuickCheck Tutorial
• [5] Unit-Sequence-Reactive Testing: Test-sequence generation with hol-testgen - with an application to firewall testing
• [6] Application: Firewall Testing, Model-based Firewall Conformance Testing
• [7] Symbolic IOCO : A Symbolic Framework for Model-Based Testing,Testing of Reactive Systems The IOCO testing theory
• [8] Tools :Tools for Test Case Generation
• [9] Testing Non-Determinism: Optimal Strategies For Testing Nondeterministic Systems
• [10] Large-Scale Industrial Application: Using Model-Based Testing for Quality Assurance of Protocol Documentation
• [11] Invariant Generation By Tests: From Tests To Proofs
• [12] Testing Pointer Programs : Test Input Generation for Programs with Pointers
• [13]Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser: Symbolic execution for software testing in practice: preliminary assessment. ICSE 2011: 1066-1071
• [14]Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su: Synthesizing method sequences for high-coverage testing. OOPSLA 2011: 189-206
• [15]Nikolai Tillmann, Jonathan de Halleux, Tao Xie: Parameterized unit testing: theory and practice. ICSE (2) 2010: 483-484
• [16] Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux: Guided test generation for coverage criteria. ICSM 2010: 1-10
• [17] Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte: An Empirical Study of Testing File-System-Dependent Software with Mock Objects. AST 2009: 149-153
• [18] Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann: Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion 2009: 401-402
• [19] Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens: Test Input Generation for Programs with Pointers. TACAS 2009: 277-291
• [20] Nikolai Tillmann, Jonathan de Halleux: Pex-White Box Test Generation for .NET. TAP 2008: 134-153
• [21] Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman: Achieving both model and code coverage with automated gray-box testing. A-MOST 2007: 1-11
• [22] Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor A. Braberman: Model-based quality assurance of protocol documentation: tools and methodology. Softw. Test., Verif. Reliab. 21(1): 55-71 (2011)
• [23] Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li, W. K. Chan: Assuring the model evolution of protocol software specifications by regression testing process improvement. Softw., Pract. Exper. 41(10): 1073-1103 (2011)
• [24] Wolfgang Grieskamp: Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing. TAIC PART 2010: 7
• [25] Achim D. Brucker, Lukas Br\uuml;gger, Paul Kearney, and Burkhart Wolff. An approach to modular and testable security models of real-world health-care applications. Proceedings of the ACM Symposium on Access control models and technologies, pages 133-142. ACM, 2011. SACMAT 2011.