Search results for "FLAVERS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
89	Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue	Heuristic-guided counterexample search in FLAVERS.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	FLAVERS, heuristic search, counterexamples
64	Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil	Verification of Communication Protocols Using Data Flow Analysis.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
59	Jianbin Tan, George S. Avrunin, Lori A. Clarke	Heuristic-Based Model Refinement for FLAVERS.	ICSE	2004	DBLP DOI BibTeX RDF
52	Jianbin Tan, George S. Avrunin, Lori A. Clarke	Managing space for finite-state verification.	ICSE	2006	DBLP DOI BibTeX RDF	FLAVERS, ZDD, BDD, finite-state verification, LTSA
52	Matthew B. Dwyer	Modular Flow Analysis for Concurrent Software.	ASE	1997	DBLP DOI BibTeX RDF	modular flow analysis, FLAVERS, early validation, individual module designs, system-level validation, whole-program automated static analysis technique, concurrent software systems, program flow analysis, explicitly stated correctness properties, modular analysis approach, realistic concurrent multi-component system, parallel programming
42	Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh	Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification.	PASTE	1999	DBLP DOI BibTeX RDF
42	Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil	Efficient Composite Data Flow Analysis Applied to Concurrent Programs.	PASTE	1998	DBLP DOI BibTeX RDF
37	Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil	FLAVERS: A finite state verification technique for software systems.	IBM Syst. J.	2002	DBLP DOI BibTeX RDF
37	Leon J. Osterweil, Lori A. Clarke	FLAVERS.	ACM SIGSOFT Softw. Eng. Notes	2000	DBLP DOI BibTeX RDF
37	Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer	Verification of Concurrent Software with FLAVERS.	ICSE	1997	DBLP DOI BibTeX RDF	accuracy improving, verification, static analysis, data flow analysis
21	Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke	Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	Assume-guarantee reasoning
21	Borislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil	Specifying and verifying requirements for election processes.	DG.O	2008	DBLP BibTeX RDF	verification, requirements, process, elections, properties
21	Stefan Christov, Bin Chen 0018, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens	Rigorously Defining and Analyzing Medical Processes: An Experience Report.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF
21	Leon J. Osterweil, George S. Avrunin, Bin Chen 0018, Lori A. Clarke, Rachel L. Cobleigh, Elizabeth A. Henneman, Philip L. Henneman	Engineering Medical Processes to Improve Their Safety.	Situational Method Engineering	2007	DBLP DOI BibTeX RDF
21	Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke	Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.	ISSTA	2006	DBLP DOI BibTeX RDF	assume-guarantee reasoning
21	Mohammad S. Raunak, Bin Chen 0018, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil	Definition and Analysis of Election Processes.	SPW/ProSim	2006	DBLP DOI BibTeX RDF
21	Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil	Verifying properties of process definitions.	ISSTA	2000	DBLP DOI BibTeX RDF