The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nikolai Tillmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann
    Testable Use Cases in the Abstract State Machine Language. [Citation Graph (0, 0)][DBLP]
    APAQS, 2001, pp:167-172 [Conf]
  2. Michael Barnett, Wolfram Schulte, Nikolai Tillmann
    Using AsmL for Runtime Verification. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:407- [Conf]
  3. Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes
    Test Case Generation from AsmL Specifications. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:413- [Conf]
  4. Yuri Gurevich, Nikolai Tillmann
    Partial Updates Exploration II. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:57-86 [Conf]
  5. Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Towards a Tool Environment for Model-Based Testing with AsmL. [Citation Graph (0, 0)][DBLP]
    FATES, 2003, pp:252-266 [Conf]
  6. Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Testing Concurrent Object-Oriented Systems with Spec Explorer. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:542-547 [Conf]
  7. Nikolai Tillmann, Feng Chen, Wolfram Schulte
    Discovering Likely Method Specifications. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:717-736 [Conf]
  8. Ana Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal
    A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:450-464 [Conf]
  9. Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
    Optimal strategies for testing nondeterministic systems. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:55-64 [Conf]
  10. Nikolai Tillmann, Wolfram Schulte
    Mock-object generation with behavior. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:365-368 [Conf]
  11. Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
    Validating Use-Cases with the AsmL Test Tool. [Citation Graph (0, 0)][DBLP]
    QSIC, 2003, pp:238-246 [Conf]
  12. Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes
    Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. [Citation Graph (0, 0)][DBLP]
    QSIC, 2005, pp:72-82 [Conf]
  13. Nikolai Tillmann, Wolfram Schulte
    Parameterized unit tests with unit meister. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:241-244 [Conf]
  14. Nikolai Tillmann, Wolfram Schulte
    Parameterized unit tests. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:253-262 [Conf]
  15. Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
    Online testing with model programs. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:273-282 [Conf]
  16. Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte
    XRT- Exploring Runtime for .NET Architecture and Applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:3-26 [Journal]
  17. Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann
    Action Machines: a Framework for Encoding and Composing Partial Behaviors. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2006, v:16, n:5, pp:705-726 [Journal]
  18. Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
    Instrumenting scenarios in a model-driven development environment. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2004, v:46, n:15, pp:1027-1036 [Journal]
  19. Yuri Gurevich, Nikolai Tillmann
    Partial Updates: Exploration. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:11, pp:917-951 [Journal]
  20. Yuri Gurevich, Nikolai Tillmann
    Partial updates. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:2-3, pp:311-342 [Journal]
  21. Ana Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal
    Modeling and Testing Hierarchical GUIs. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2005, pp:329-344 [Conf]

  22. Fitness-guided path exploration in dynamic symbolic execution. [Citation Graph (, )][DBLP]


  23. Symbolic Query Exploration. [Citation Graph (, )][DBLP]


  24. DySy: dynamic symbolic execution for invariant inference. [Citation Graph (, )][DBLP]


  25. Guided path exploration for regression test generation. [Citation Graph (, )][DBLP]


  26. Exploiting the synergy between automated-test-generation and programming-by-contract. [Citation Graph (, )][DBLP]


  27. Parameterized unit testing: theory and practice. [Citation Graph (, )][DBLP]


  28. An Empirical Study of Testing File-System-Dependent Software with Mock Objects. [Citation Graph (, )][DBLP]


  29. White-box testing of behavioral web service contracts with Pex. [Citation Graph (, )][DBLP]


  30. Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. [Citation Graph (, )][DBLP]


  31. Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. [Citation Graph (, )][DBLP]


  32. MiTV: multiple-implementation testing of user-input validators for web applications. [Citation Graph (, )][DBLP]


  33. MSeqGen: object-oriented unit-test generation via mining source code. [Citation Graph (, )][DBLP]


  34. Using Dynamic Symbolic Execution to Improve Deductive Verification. [Citation Graph (, )][DBLP]


  35. Demand-Driven Compositional Symbolic Execution. [Citation Graph (, )][DBLP]


  36. Test Input Generation for Programs with Pointers. [Citation Graph (, )][DBLP]


  37. Path Feasibility Analysis for String-Manipulating Programs. [Citation Graph (, )][DBLP]


  38. Moles: Tool-Assisted Environment Isolation with Closures. [Citation Graph (, )][DBLP]


  39. Parameterized Unit Testing with Pex. [Citation Graph (, )][DBLP]


  40. Pex-White Box Test Generation for .NET. [Citation Graph (, )][DBLP]


  41. DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. [Citation Graph (, )][DBLP]


  42. Parameterized Unit Testing with Pex: Tutorial. [Citation Graph (, )][DBLP]


  43. Achieving both model and code coverage with automated gray-box testing. [Citation Graph (, )][DBLP]


  44. Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. [Citation Graph (, )][DBLP]


  45. Rex: Symbolic Regular Expression Explorer. [Citation Graph (, )][DBLP]


Search in 1.196secs, Finished in 1.198secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002