Search results for "Paul Ammann"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Gordon Fraser, Franz Wotawa, Paul Ammann	Issues in using model checkers for test case generation.	Journal of Systems and Software	2009	DBLP DOI BibTeX RDF
2	Gordon Fraser, Franz Wotawa, Paul Ammann	Testing with model checkers: a survey.	Softw. Test., Verif. Reliab.	2009	DBLP DOI BibTeX RDF
2	Gordon Fraser, Paul Ammann	Reachability and Propagation for LTL Requirements Testing.	QSIC	2008	DBLP DOI BibTeX RDF	requirements testing, software testing, automated testing, test case generation, property testing
2	Paul Ammann, Jeff Offutt, Wuzhi Xu	Coverage Criteria for State Based Specifications.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
2	Garrett Kaminski, Gregory Williams 0002, Paul Ammann	Reconciling perspectives of software logic testing.	Softw. Test., Verif. Reliab.	2008	DBLP DOI BibTeX RDF
2	Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser	Relating counterexamples to test cases in CTL model checking specifications.	A-MOST	2007	DBLP DOI BibTeX RDF	test coverage criteria, model checking, formal methods, software testing, state machines, counterexamples
2	Peng Liu, Jie Li, Sushil Jajodia, Paul Ammann	Can-Follow Concurrency Control.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	can follow, concurrency control, transaction processing
2	Joseph Pamula, Sushil Jajodia, Paul Ammann, Vipin Swarup	A weakest-adversary security metric for network configuration security analysis.	QoP	2006	DBLP DOI BibTeX RDF	network security, vulnerability, exploit, security metric, attack graphs, quantitative measure
2	Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann	Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems.	DBSec	2006	DBLP DOI BibTeX RDF
2	Saket Kaushik, Csilla Farkas, Duminda Wijesekera, Paul Ammann	An Algebra for Composing Ontologies.	FOIS	2006	DBLP BibTeX RDF
2	Jing Guan, Jeff Offutt, Paul Ammann	An industrial case study of structural testing applied to safety-critical embedded software.	ISESE	2006	DBLP DOI BibTeX RDF	software testing, embedded software, industrial case study
2	Joseph Pamula, Paul Ammann, Sushil Jajodia, Ronald W. Ritchey	A framework for establishing, assessing, and managing trust in inter-organizational relationships.	SWS	2006	DBLP DOI BibTeX RDF	access graphs, network sharing, scalability, network security, vulnerability, exploit, attack graphs
2	Saket Kaushik, Duminda Wijesekera, Paul Ammann	BPEL orchestration of secure webmail.	SWS	2006	DBLP DOI BibTeX RDF	SMTP misuse cases, SMTP use cases, WSEmail, webmail, verification, BPEL
2	Paul Ammann, Joseph Pamula, Julie A. Street, Ronald W. Ritchey	A Host-Based Approach to Network Attack Chaining Analysis.	ACSAC	2005	DBLP DOI BibTeX RDF
2	Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann	Email feedback: a policy-based approach to overcoming false positives.	FMSE	2005	DBLP DOI BibTeX RDF	email/spam control, policy advertisement, policy feedback, constraint logic programming
2	Saket Kaushik, Duminda Wijesekera, Paul Ammann	Policy-based dissemination of partial web-ontologies.	SWS	2005	DBLP DOI BibTeX RDF	ontology, access control, control, policy, OWL, RDF, inference, constraint logic programming
2	Saket Kaushik, Paul Ammann, Duminda Wijesekera, William H. Winsborough, Ronald W. Ritchey	A Policy Driven Approach to Email Services. (PDF / PS)	POLICY	2004	DBLP DOI BibTeX RDF
2	Paul Ammann, A. Jefferson Offutt, Hong Huang	Coverage Criteria for Logical Expressions. (PDF / PS)	ISSRE	2003	DBLP DOI BibTeX RDF
2	A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann	Generating test data from state-based specifications.	Softw. Test., Verif. Reliab.	2003	DBLP DOI BibTeX RDF
2	Paul Ammann, Duminda Wijesekera, Saket Kaushik	Scalable, graph-based network vulnerability analysis.	ACM Conference on Computer and Communications Security	2002	DBLP DOI BibTeX RDF	monotonic analysis, model checking, scalability, network security, vulnerability, exploit