The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Corina S. Pasareanu: [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. John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby
    Foundations of the Bandera Abstraction Tools. [Citation Graph (0, 0)][DBLP]
    The Essence of Computation, 2002, pp:172-203 [Conf]
  3. Corina S. Pasareanu, Radek Pelánek, Willem Visser
    Concrete Model Checking with Abstract Matching and Refinement. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:52-66 [Conf]
  4. Matthew B. Dwyer, Corina S. Pasareanu
    Model Checking Generic Container Implementations. [Citation Graph (0, 0)][DBLP]
    Generic Programming, 1998, pp:162-177 [Conf]
  5. James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng
    Bandera: extracting finite-state models from Java source code. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:439-448 [Conf]
  6. Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser
    Tool-Supported Program Abstraction for Finite-State Verification. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:177-187 [Conf]
  7. Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh
    Assume-Guarantee Verification of Source Code with Design-Level Assumptions. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:211-220 [Conf]
  8. Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
    Test input generation with java PathFinder. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:97-107 [Conf]
  9. Willem Visser, Corina S. Pasareanu, Radek Pelánek
    Test input generation for java containers using state matching. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:37-48 [Conf]
  10. Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer
    Assumption Generation for Software Component Verification. [Citation Graph (0, 0)][DBLP]
    ASE, 2002, pp:3-12 [Conf]
  11. Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu
    Automated Environment Generation for Software Model Checking. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:116-129 [Conf]
  12. Willem Visser, Corina S. Pasareanu, Radek Pelánek
    Test input generation for red-black trees using abstraction. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:414-417 [Conf]
  13. Matthew B. Dwyer, Corina S. Pasareanu
    Filter-Based Model Checking of Partial Systems. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1998, pp:189-202 [Conf]
  14. Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth
    Assume-Guarantee Model Checking of Software: A Comparative Case Study. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:168-183 [Conf]
  15. Corina S. Pasareanu, Dimitra Giannakopoulou
    Towards a Compositional SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:234-251 [Conf]
  16. Corina S. Pasareanu, Willem Visser
    Verification of Java Programs Using Symbolic Execution and Invariant Generation. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:164-181 [Conf]
  17. Saswat Anand, Corina S. Pasareanu, Willem Visser
    Symbolic Execution with Abstract Subsumption Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:163-181 [Conf]
  18. Dimitra Giannakopoulou, Corina S. Pasareanu
    Learning-Based Assume-Guarantee Verification (Tool Paper). [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:282-287 [Conf]
  19. Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu
    Learning Assumptions for Compositional Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:331-346 [Conf]
  20. Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser
    Generalized Symbolic Execution for Model Checking and Testing. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:553-568 [Conf]
  21. Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser
    Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:284-298 [Conf]
  22. Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer
    Component Verification with Automatically Generated Assumptions. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2005, v:12, n:3, pp:297-320 [Journal]
  23. Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
    Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:2-3, pp:167-198 [Journal]
  24. John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
    Verifying Time Partitioning in the DEOS Scheduling Kernel. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2005, v:26, n:2, pp:103-135 [Journal]
  25. Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser
    Finding feasible abstract counter-examples. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:5, n:1, pp:34-48 [Journal]
  26. 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]
  27. Saswat Anand, Corina S. Pasareanu, Willem Visser
    JPF-SE: A Symbolic Execution Extension to Java PathFinder. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:134-138 [Conf]
  28. Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu
    Refining Interface Alphabets for Compositional Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:292-307 [Conf]
  29. Corina S. Pasareanu, Radek Pelánek, Willem Visser
    Predicate Abstraction with Under-approximation Refinement [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  30. Automated Assume-Guarantee Reasoning by Abstraction Refinement. [Citation Graph (, )][DBLP]


  31. Learning Component Interfaces with May and Must Abstractions. [Citation Graph (, )][DBLP]


  32. Interface Generation and Compositional Verification in JavaPathfinder. [Citation Graph (, )][DBLP]


  33. Assume-Guarantee Verification for Interface Automata. [Citation Graph (, )][DBLP]


  34. Symbolic Execution and Model Checking for Testing. [Citation Graph (, )][DBLP]


  35. Formal Software Analysis Emerging Trends in Software Model Checking. [Citation Graph (, )][DBLP]


  36. Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. [Citation Graph (, )][DBLP]


  37. Parallel symbolic execution for structural test generation. [Citation Graph (, )][DBLP]


  38. Tool Support for Parametric Analysis of Large Software Simulation Systems. [Citation Graph (, )][DBLP]


  39. Symbolic PathFinder: symbolic execution of Java bytecode. [Citation Graph (, )][DBLP]


  40. Differential symbolic execution. [Citation Graph (, )][DBLP]


  41. Preface. [Citation Graph (, )][DBLP]


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