The SCEAS System
Navigation Menu

Search the dblp DataBase


Cyrille Artho: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser
    Experiments with Test Case Generation and Runtime Analysis. [Citation Graph (0, 0)][DBLP]
    Abstract State Machines, 2003, pp:87-107 [Conf]
  2. Cyrille Artho, Armin Biere
    Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2001, pp:68-75 [Conf]
  3. Cyrille Artho, Klaus Havelund, Armin Biere
    Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:150-164 [Conf]
  4. Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller
    JNuke: Efficient Dynamic Analysis for Java. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:462-465 [Conf]
  5. Cyrille Artho, Armin Biere, Shinichi Honiden
    Enforcer - Efficient Failure Injection. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:412-427 [Conf]
  6. Cyrille Artho, Pierre-Loïc Garoche
    Accurate Centralization for Applying Model Checking on Networked Applications. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:177-188 [Conf]
  7. Cyrille Artho, Klaus Havelund, Armin Biere
    High-Level Data Races. [Citation Graph (0, 0)][DBLP]
    NDDL/VVEIS, 2003, pp:82-93 [Conf]
  8. Cyrille Artho, Klaus Havelund
    Applying Jlint to Space Exploration Software. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:297-308 [Conf]
  9. Cyrille Artho, Armin Biere
    Combined Static and Dynamic Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:3-14 [Journal]
  10. Cyrille Artho, Armin Biere
    Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:141, n:1, pp:109-128 [Journal]
  11. Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan
    Formal Methods Group ETH Zürich. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  12. Armin Biere, Cyrille Artho, Viktor Schuppan
    Liveness Checking as Safety Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
  13. Cyrille Artho, Klaus Havelund, Armin Biere
    High-level data races. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2003, v:13, n:4, pp:207-227 [Journal]
  14. Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
    Combining test case generation and runtime verification. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:336, n:2-3, pp:209-234 [Journal]
  15. Cyrille Artho, Klaus Havelund, Shinichi Honiden
    Visualization of Concurrent Program Executions. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2007, pp:541-546 [Conf]
  16. Cyrille Artho, Zhongwei Chen, Shinichi Honiden
    AOP-based automated unit test classification of large benchmarks. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2007, pp:17-22 [Conf]
  17. Cyrille Artho, Boris Zweimüller, Armin Biere, Etsuya Shibayama, Shinichi Honiden
    Efficient Model Checking of Applications with Input/Output. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:515-522 [Conf]
  18. Cyrille Artho, Christian Sommer 0002, Shinichi Honiden
    Model Checking Networked Programs in the Presence of Transmission Failures. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:219-228 [Conf]

  19. Separation of Transitions, Actions, and Exceptions in Model-Based Testing. [Citation Graph (, )][DBLP]

  20. Exhaustive Testing of Exception Handlers with Enforcer. [Citation Graph (, )][DBLP]

  21. Iterative Delta Debugging. [Citation Graph (, )][DBLP]

  22. Verifying networked programs using a model checker extension. [Citation Graph (, )][DBLP]

  23. Advanced Unit Testing: How to Scale up a Unit Test Framework. [Citation Graph (, )][DBLP]

  24. Cache-Based Model Checking of Networked Applications: From Linear to Branching Time. [Citation Graph (, )][DBLP]

  25. Tools and Techniques for Model Checking Networked Programs. [Citation Graph (, )][DBLP]

  26. Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. [Citation Graph (, )][DBLP]

  27. Efficient Model Checking of Networked Applications. [Citation Graph (, )][DBLP]

Search in 0.007secs, Finished in 0.009secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002