CORBETT, J., DWYER, M., HATCLIFF, J., PASAREANU, C., ROBBY, LAUBACH, S., AND ZHENG, H. Bandera: Extracting finite-state models from Java source code. In ICSE'00: Int. Conf. on Software Engineering (2000), IEEE Press, pp. 439--448. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Analyzing Interaction Orderings with Model Checking - Matthew Dwyer Robby Self-citation (Dwyer) (Correct)
No context found.
J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. P as areanu, Robby, and H. Zheng. Bandera : Extracting finite-state models from Java source code. In Proceedings of the 22nd International Conference on Software Engineering, June 2000.
Automated Environment Generation for Software Model Checking - Tkachuk, Dwyer, Pasareanu (2003) (5 citations) Self-citation (Dwyer Pasareanu) (Correct)
No context found.
J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pasareanu, Robby, and H. Zheng. Bandera : Extracting finite-state models from Java source code. In Proceedings of the 22nd International Conference on Software Engineering, June 2000.
A New Foundation for Control-Dependence and.. - Ranganath.. (2005) (1 citation) Self-citation (Dwyer Hatcliff) (Correct)
No context found.
Corbett, J., Dwyer, M.B., Hatcliff, J., Laubach, S., Pasareanu, C.S., Robby, Zheng, H.: Bandera: Extracting Finite-state Models from Java source code. In: 22 nd International Conference on Software Engineering (ICSE'00). (2000) 439--448.
Proving That Programs Eventually Do Something Good - Ron Cook Microsoft (Correct)
No context found.
CORBETT, J., DWYER, M., HATCLIFF, J., PASAREANU, C., ROBBY, LAUBACH, S., AND ZHENG, H. Bandera: Extracting finite-state models from Java source code. In ICSE'00: Int. Conf. on Software Engineering (2000), IEEE Press, pp. 439--448.
LDTA'05 Preliminary Version - Source Transformation For (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcli#, C. Pasareanu, R. S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from java source code. In Proceedings of the 22nd International Conference on Software Engineering, pages 439 -- 448, Limerick, Ireland, June 2000. ACM Press.
A Next-Generation Platform for Analyzing Executables - Reps Balakrishnan Lim (Correct)
No context found.
J.C. Corbett, M.B. Dwyer, J. Hatcliff, S. Laubach, C.S. Pasareanu, Robby, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In Int. Conf. on Softw. Eng., pages 439--448, 2000.
Implementation and Verification of Implicit-Invocation.. - Using Source Transformation (Correct)
No context found.
J. Corbett, M. Dwyer, and J. H. et al. Bandera: Extracting finite-state models from Java source code. In Proc. Int. Conf. on Software Engineering, June 2000.
Intermediate-Representation Recovery from Low-Level Code - Thomas Reps Gogul (Correct)
No context found.
J.C. Corbett, M.B. Dwyer, J. Hatcliff, S. Laubach, C.S. Pasareanu, Robby, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In ICSE, 2000.
Using Source Transformation to Test and - Model Check Implicit-Invocation (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcli#, et al., Bandera: Extracting finite-state models from Java source code, in: Proc. Int. Conf. on Software Engineering, 2000.
WYSINWYX: What You See Is Not What You eXecute - Balakrishnan Reps Melski (Correct)
No context found.
J.C. Corbett, M.B. Dwyer, J. Hatcliff, S. Laubach, C.S. Pasareanu, Robby, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In ICSE, 2000.
Execution Generated Test Cases: How to Make Systems Code Crash .. - Cadar, Engler (2005) (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcliff, S. Laubach, C. Pasareanu, Robby, and H. Zheng. Bandera: Extracting finite-state models from java source code. In ICSE 2000.
Abstraction-based Model Checking - Using Modal Transition (Correct)
No context found.
J. C. Corbett, M. B. Dwyer, J. Hatcli , S. Laubach, C. S. Pasareanu, Robby, and H. Zheng. Bandera: Extracting Finite-state Models from Java Source Code. In Proceedings of the 22nd Intl' Conference on Software Engineering, June 2000.
S.M. Computer Science - Massachusetts Institute Of (Correct)
No context found.
J. C. Corbett, M. B. Dwyer, J. Hatcli#, S. Laubach, C. S. Pasareanu, Robby, H. Zheng. "Bandera: Extracting Finite-State Models from Java Source Code", Proc. International Conference on Software Engineering, June 2000.
TestEra: Specification-based Testing of Java Programs Using SAT - Sarfraz Khurshid And (2004) (1 citation) (Correct)
No context found.
James Corbett, Matthew Dwyer, John Hatcli#, Corina Pasareanu, Robby, Shawn Laubach, and Hongjun Zheng. Bandera: Extracting finite-state models from Java source code. In Proc. 22nd International Conference on Software Engineering (ICSE), June 2000.
EXE: A System for Automatically Generating Inputs of.. - Cadar, Twohey.. (2006) (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcliff, S. Laubach, C. Pasareanu, Robby, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In ICSE 2000.
Unknown - (Correct)
No context found.
James Corbett, Matthew Dwyer, John Hatcli#, Corina Pasareanu, Robby, Shawn Laubach, and Hongjun Zheng. Bandera: Extracting finite-state models from Java source code. In Proc. 22nd International Conference on Software Engineering (ICSE), June 2000.
Finding Application Errors and Security Flaws - Using Pql Program (Correct)
No context found.
J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pasareanu, Robby, and H. Zheng. Bandera: Extracting Finite-State Models from Java Source Code. In ICSE '00: Proceedings of the 22nd International Conference on Software Engineering, pages 439--448, 2000.
KISS: Keep It Simple and Sequential - Shaz Qadeer Microsoft (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcli#, S. Laubach, C. Pasareanu, Robby, and H. Zheng. Bandera: extracting finite-state models from Java source code. In International Conference on Software Engineering, pages 439--448, 2000.
JNuke: Efficient Dynamic Analysis for Java - Artho, Schuppan, Biere.. (2004) (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In Proc. Intl. Conf. on Software Engineering (ICSE'00). ACM Press, 2000.
JVM Independent Replay in Java - Schuppan, Baur, Biere (2004) (Correct)
No context found.
Corbett, J., M. Dwyer, J. Hatcli#, S. Laubach, C. Pasareanu, Robby and H. Zheng, Bandera: Extracting finite-state models from Java source code, in: ICSE, 2000.
Automating the Analysis of Design Component Contracts - Dong, al. (2006) (Correct)
No context found.
Corbett JC, Dwyer MB, Hatcliff J, Laubach S, Pasareanu C, Robby, Zheng H. Bandera: Extracting finite-state models from Java source code. Proceedings of the 22nd International Conference on Software Engineering, 2000.
Specification and Generation of Environment for Model.. - Parizek, Plasil (2006) (Correct)
No context found.
Corbett, J. C., M. B. Dwyer, J. Hatcli#, S. Laubach, C. S. Pasareanu, Robby and H. Zhueng, Bandera: Extracting Finite-state Models from Java Source Code, ICSE 2000, ACM, 439-448
Learning of Event-Recording Automata - Olga Grinchtein Bengt (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcli#, S. Laubach, C. Pasareanu, Robby, and H. Zheng. Bandera : Extracting finite-state models from Java source code. In Proc. 22nd Int. Conf. on Software Engineering, June 2000.
INFINITY 2004 Preliminary Version - Inference Of Timed (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcli#, S. Laubach, C. Pasareanu, Robby, and H. Zheng. Bandera : Extracting finite-state models from java source code. In Proc. 22nd Int. Conf. on Software Engineering, June 2000.
Verifying Temporal Properties in HW-Hume - Grov, Ireland, Michaelson, al. (Correct)
No context found.
J. C. Corbett, M. B. Dwyer, J. Hatcli#, S. Laubach, C. S. P as areanu, Robby, and H. Zheng. Bandera: Extracting Finite-State Models from Java Source Code. In International Conference on Software Engineering, pages 439--448, 2000.
Check and Simulate: A Case for Incorporating Model.. - Sobeih, Viswanathan, Hou (2004) (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcliff, C. P as areanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting finite state models from Java source code. In Proc. of ICSE'00.
Incorporating Bounded Model Checking in Network.. - Sobeih, Viswanathan, Hou (2004) (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, and H. Zheng, "Bandera: Extracting finite state models from Java source code," in Proc. of ICSE'00, June 2000.
Finding Application Errors and Security Flaws Using PQL: a .. - Martin, Livshits, Lam (2005) (Correct)
No context found.
J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pasareanu, Robby, and H. Zheng. Bandera: Extracting Finite-State Models from Java Source Code. In ICSE '00: Proceedings of the 22nd International Conference on Software Engineering, pages 439--448, 2000.
Source-Level Runtime Validation Through Interval - Temporal Logic Karlston (2005) (Correct)
No context found.
James C. Corbett, Matthew B. Dwyer, John Hatcli#, Shawn Laubach, Corina S. Pasareanu, Robby, and Hongjun Zheng. Bandera: extracting finite-state models from java source code. In International Conference on Software Engineering, 2000.
Model-Carrying Code: A Practical Approach for Safe .. - Sekar.. (2003) (9 citations) (Correct)
No context found.
James Corbett, Matthew Dwyer, John Hatcliff, Corina Pasareanu, Robby, Shawn Laubach, and Hongjun Zheng. Bandera: extracting finite-state models from Java source code. In 22nd International Conference on Software Engineering (ICSE), 2000.
Unknown - (Correct)
No context found.
Corbett, J. C., Dwyer, M. B., Hatcliff, J., Laubach, S., Pasareanu, C. S., Robby, Zheng, H.: Bandera: Extracting Finite-state Models from Java Source Code, proceedings of the International Conference on Software Engineering (ICSE), 2000
Who is Pointing When to Whom: On Model-Checking Pointer.. - Distefano, Rensink.. (2003) (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcli#, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In 22nd International Conference on Software Engineering, pages 439--448. IEEE Computer Society, 2000.
Using Program Slicing to Analyze Aspect Oriented Composition - Balzarotti, Monga (2004) (1 citation) (Correct)
No context found.
J. C. Corbett, M. B. Dwyer, J. Hatcli#, S. Laubach, C. S. Pasareanu, Robby, and H. Zheng. Bandera: extracting finite-state models from Java source code. In International Conference on Software Engineering, pages 439--448, 2000.
Heuristic-Guided Counterexample Search in FLAVERS - Tan, Avrunin, Clarke.. (2004) (Correct)
No context found.
J. C. Corbett, M. B. Dwyer, J. Hatcli#, S. Laubach, C. S. Pasareanu, Robby, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In Proceedings of the 22nd International Conference on Software Engineering, pages 439--448, Jun. 2000.
Model Checking for Dynamic Allocation and Deallocation.. - Distefano, Rensink.. (2002) (3 citations) (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcli#, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In ICSE'00, pp. 439--448, IEEE CS Press, 2000.
Int J Softw Tools Technol Transfer (2004) 6: 257--259 /.. - Special Section On (Correct)
No context found.
Corbett JC, Dwyer MB, Hatcli# J, Laubach S, Pasareanu CS, Robby, Zheng H (2000) Bandera: extracting finite-state models from Java source code. In: 22nd IEEE international conference on software engineering (ICSE)
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcliff, S. Laubach, C. P as areanu, Robby, and H. Zheng. Bandera: extracting finite-state models from Java source code. In International Conference on Software Engineering, pages 439--448, 2000.
Partial-Order Reduction and Trail Improvement in.. - Edelkamp.. (2004) (2 citations) (Correct)
No context found.
Corbett JC, Dwyer MB, Hatcli# J, Laubach S, Pasareanu CS, Robby, Zheng H (2000) Bandera: Extracting finite-state models from Java source code. In: 22nd IEEE international conference on software engineering (ICSE)
Model Checking Dynamic Allocation and Deallocation - Distefano, Rensink, Katoen (2002) (3 citations) (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcli#, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In ICSE'00, pp. 439-- 448, IEEE CS Press, 2000.
A Practical Perspective on the Verifying Compiler Proposal - Ireland (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcli#, C. Pasareanu, R.S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In 22nd International Conference on Software Engineering, pages 439--448, Limerick, Ireland, June 2000. IEEE Computer Society.
Formalization in Coq of the Java Card Virtual Machine - Barthe, Dufay, Jakubiec.. (2000) (1 citation) (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcli, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera : Extracting Finite-state Models from Java Source Code. In Proceedings of ICSE'2000, 2000.
Finite Model Generation for Distributed Java Programs - Boulifa, Madelaine (2003) (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, S. Laubach, and H. Zheng, "Bandera: Extracting finite-state models from java source code," Int. Conference on Software Engineering (ICSE 2000.
Formalization in Coq of the Java Card Virtual Machine - Barthe, Dufay, Jakubiec.. (1 citation) (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatclioe, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera : Extracting Finite-state Models from Java Source Code. In Proceedings of ICSE'2000, 2000.
Parameterized Models for Distributed Java Objects - Tomas Barros Rabea (Correct)
No context found.
Corbett, J., Dwyer, M., Hatcliff, J., Pasareanu, C., Laubach, S., Zheng, H.: Bandera: Extracting finite-state models from java source code. Int. Conference on Software Engineering (ICSE) (2000)
Specifying Multithreaded Java Semantics for - Program Verification Abhik (Correct)
No context found.
J. Corbett et al. Bandera: Extracting finite state models from Java source code. In ACM/IEEE International Conference on Software Engineering (ICSE), 2000.
Tool-Assisted Specification and Verification of the.. - Barthe, Courtieu.. (2002) (5 citations) (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcli, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera : Extracting Finite-state Models from Java Source Code. In Proceedings of ICSE'00, pages 439448. ACM Press, 2000.
ACM International Symposium on Software Testing and.. - Korat Automated Testing (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In Proc. 22nd International Conference on Software Engineering (ICSE), June 2000.
PSE: Explaining Program Failures via Postmortem.. - Manevich, Sridharan, .. (2004) (Correct)
No context found.
J. Corbett, M. Dwyer, J. Hatcli#, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting Finite-state Models from Java Source Code. In Proceedings of the 22nd International Conference on Software Engineering, 2000.
Trail-Directed Model Checking - Edelkamp, Lluch-Lafuente, Leue (2001) (6 citations) (Correct)
No context found.
J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pasareanu, Robby, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In International Converence on Software Engineering (ICSE), 2000. 12
Approximate Modeling for Debugging of Program Loops - Mayer, Stumptner (Correct)
No context found.
James Corbett, Matthew Dwyer, John Hatcliff, Corina Pasareanu, Robby, Shawn Laubach, and Hongjun Zheng, `Bandera: Extracting finite-state models from Java source code', in Proc.ICSE-00, (2000).
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC