The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Mark Utting: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Donald A. Smith, Mark Utting
    Pseudo-Naive Evaluation. [Citation Graph (0, 0)][DBLP]
    Australasian Database Conference, 1999, pp:211-223 [Conf]
  2. Mark Utting
    Animating Z: Interactivity, Transparency and Equivalence. [Citation Graph (0, 0)][DBLP]
    APSEC, 1995, pp:294-303 [Conf]
  3. Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting
    A Survey of Software Development Practices in the New Zealand Software Industry . [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2000, pp:189-202 [Conf]
  4. Colin J. Fidge, Peter Kearney, Mark Utting
    Interactively Verifying a Simple Real-time Scheduler. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:395-408 [Conf]
  5. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
    Symbolic Animation of JML Specifications. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:75-90 [Conf]
  6. Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes
    Integrating Real-Time Scheduling Theory and Program Refinement. [Citation Graph (0, 0)][DBLP]
    FME, 1996, pp:327-346 [Conf]
  7. Bruno Legeard, Fabien Peureux, Mark Utting
    Automated Boundary Testing from Z and B. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:21-40 [Conf]
  8. Peter Kearney, Mark Utting
    A Layered Real-Time Specification of a RISC Processor. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:455-475 [Conf]
  9. Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre
    Model-Based Testing from UML Models. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2006, pp:223-230 [Conf]
  10. Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet
    Faster Analysis of Formal Specifications. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:239-258 [Conf]
  11. Donald A. Smith, Mark Utting
    Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs. [Citation Graph (0, 0)][DBLP]
    Implementation Technology for Programming Languages based on Logic, 1998, pp:113-126 [Conf]
  12. Tim Miller, Leo Freitas, Petra Malik, Mark Utting
    CZT Support for Z Extensions. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:227-245 [Conf]
  13. Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting
    Boundary Coverage Criteria for Test Generation from Formal Models. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2004, pp:139-150 [Conf]
  14. Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting
    Tabling Structures for Bottom-Up Logic Programming. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:50-51 [Conf]
  15. Mark Utting, Ken Robinson
    Modular Reasoning in an Object-Oriented Refinement Calculus. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:344-367 [Conf]
  16. Ian J. Hayes, Mark Utting
    Deadlines are termination. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:186-204 [Conf]
  17. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
    JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:551-556 [Conf]
  18. Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie
    ZML: XML Support for Standard Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:437-456 [Conf]
  19. Bruno Legeard, Fabien Peureux, Mark Utting
    A Comparison of the BTT and TTF Test-Generation Methods. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:309-329 [Conf]
  20. Petra Malik, Mark Utting
    CZT: A Framework for Z Tools. [Citation Graph (0, 0)][DBLP]
    ZB, 2005, pp:65-84 [Conf]
  21. Mark Utting, Shaochun Wang
    Object Orientation without Extending Z. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:319-338 [Conf]
  22. Ian J. Hayes, Mark Utting
    A sequential real-time refinement calculus. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2001, v:37, n:6, pp:385-448 [Journal]
  23. Colin J. Fidge, Peter Kearney, Mark Utting
    A Formal Method for Building Concurrent Real-Time Software. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1997, v:14, n:2, pp:99-106 [Journal]
  24. Bruno Legeard, Fabien Peureux, Mark Utting
    Controlling test case explosion in test generation from B formal models. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2004, v:14, n:2, pp:81-103 [Journal]
  25. Mark Utting, Steve Reeves
    Teaching formal methods lite via testing. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2001, v:11, n:3, pp:181-195 [Journal]

  26. Unit Testing of Z Specifications. [Citation Graph (, )][DBLP]


  27. A Comparison of State-Based Modelling Tools for Model Validation. [Citation Graph (, )][DBLP]


  28. Requirements traceability in automated test generation: application to smart card software validation. [Citation Graph (, )][DBLP]


  29. A subset of precise UML for model-based testing. [Citation Graph (, )][DBLP]


  30. Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. [Citation Graph (, )][DBLP]


  31. The Role of Model-Based Testing. [Citation Graph (, )][DBLP]


Search in 0.049secs, Finished in 0.051secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002