The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernhard K. Aichernig: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bernhard K. Aichernig
    The Commuting V-Diagram. [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:15-28 [Conf]
  2. Bernhard K. Aichernig, Carlo Corrales Delgado
    From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2006, pp:324-338 [Conf]
  3. Bernhard K. Aichernig
    Test-Case Calculation through Abstraction. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:571-589 [Conf]
  4. Bernhard K. Aichernig, Peter Gorm Larsen
    A Proof Obligation Generator for VDM-SL. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:338-357 [Conf]
  5. Johann Hörl, Bernhard K. Aichernig
    Formal Specification of a Voice Communication System Used in Air Traffic Control. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1868- [Conf]
  6. Johann Hörl, Bernhard K. Aichernig
    Requirements Validation of a Voice Communication System Used in Air Traffic Control. [Citation Graph (0, 0)][DBLP]
    ICRE, 2000, pp:190- [Conf]
  7. Li Dan, Bernhard K. Aichernig
    Combining Algebraic and Model-Based Test Case Generation. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:250-264 [Conf]
  8. Sun Meng, Bernhard K. Aichernig, Zhang Naixiao
    Coalgebraic Component Specification and Verification in RSL. [Citation Graph (0, 0)][DBLP]
    PDCAT, 2005, pp:424-426 [Conf]
  9. Bernhard K. Aichernig, Percy Antonio Pari Salas
    Test Case Generation by OCL Mutation and Constraint Solving. [Citation Graph (0, 0)][DBLP]
    QSIC, 2005, pp:64-71 [Conf]
  10. Bernhard K. Aichernig
    Automated Black-Box Testing with Abstract VDM Oracles. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 1999, pp:250-259 [Conf]
  11. Bernhard K. Aichernig
    Contract-Based Testing. [Citation Graph (0, 0)][DBLP]
    10th Anniversary Colloquium of UNU/IIST, 2002, pp:34-48 [Conf]
  12. Bernhard K. Aichernig, Reinhold Kainhofer
    Modeling and Validating Hybrid Systems Using VDM and Mathematica [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  13. Bernhard K. Aichernig
    Contract-based mutation testing in the refinement calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
  14. Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, Zhang Naixiao
    A Coalgebraic Semantic Framework for Component-based Development in UML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:122, n:, pp:229-245 [Journal]
  15. Bernhard K. Aichernig, Chris George
    When Model-based Testing Fails. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:4, pp:115-128 [Journal]
  16. Bernhard K. Aichernig
    Mutation Testing in the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:15, n:2-3, pp:280-295 [Journal]
  17. Bernhard K. Aichernig
    Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:710-735 [Journal]
  18. Bernhard K. Aichernig, Brigitte Fröhlich, Andreas Kerschbaumer
    Formal Aspects of Software Engineering - J.UCS Special Issue in Honor of Professor Peter Lucas. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:8, pp:629-630 [Journal]
  19. Johann Hörl, Bernhard K. Aichernig
    Validating Voice Communication Requirements Using Lightweight Formal Methods. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2000, v:17, n:3, pp:- [Journal]
  20. Bernhard K. Aichernig, Eerke A. Boiten, John Derrick, Lindsay Groves
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:1- [Journal]
  21. Bernhard K. Aichernig, Jifeng He
    Refinement and Test Case Generation in UTP. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:125-143 [Journal]
  22. Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa
    Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:33-46 [Journal]

  23. Conformance Testing of Distributed Concurrent Systems with Executable Designs. [Citation Graph (, )][DBLP]


  24. Dynamic Symbolic Execution of Distributed Concurrent Objects. [Citation Graph (, )][DBLP]


  25. Qualitative Action Systems. [Citation Graph (, )][DBLP]


  26. Testing Concurrent Objects with Application-Specific Schedulers. [Citation Graph (, )][DBLP]


  27. Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. [Citation Graph (, )][DBLP]


  28. Unifying Input Output Conformance. [Citation Graph (, )][DBLP]


  29. Fault-Based Test Case Generation for Component Connectors. [Citation Graph (, )][DBLP]


  30. Dynamic Symbolic Execution for Testing Distributed Objects. [Citation Graph (, )][DBLP]


  31. A Systematic Introduction to Mutation Testing in Unifying Theories of Programming. [Citation Graph (, )][DBLP]


  32. Test purpose generation in an industrial application. [Citation Graph (, )][DBLP]


  33. When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. [Citation Graph (, )][DBLP]


  34. Integrating Theories and Techniques for Program Modelling, Design and Verification. [Citation Graph (, )][DBLP]


  35. Improving Fault-based Conformance Testing. [Citation Graph (, )][DBLP]


  36. Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. [Citation Graph (, )][DBLP]


  37. Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. [Citation Graph (, )][DBLP]


  38. Test Case Generation by Contract Mutation in Spec#. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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