Search results for "specification generation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley	Jinn: synthesizing dynamic bug detectors for foreign language interfaces.	PLDI	2010	DBLP DOI BibTeX RDF	ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis
1	Gustavo Cabral, Augusto Sampaio	Automated Formal Specification Generation and Refinement from Requirement Documents.	J. Braz. Comp. Soc.	2008	DBLP DOI BibTeX RDF
1	Gustavo Cabral, Augusto Sampaio	Formal Specification Generation from Requirement Documents.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Richard Y. Huang, Henri Casanova, Andrew A. Chien	Automatic resource specification generation for resource selection.	SC	2007	DBLP DOI BibTeX RDF	resource requirement specification, scientific workflows
1	Andrzej Wasylkowski, Andreas Zeller, Christian Lindig	Detecting object usage anomalies.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	automated defect detection, automated specification generation, data mining for software engineering, object usage anomalies, programming rules, pattern recognition, static analysis
1	Jonathan Edwards	No ifs, ands, or buts: uncovering the simplicity of conditionals.	OOPSLA	2007	DBLP DOI BibTeX RDF	refactoring, visual programming, polymorphism, decision tables, control structures
1	Jinlin Yang, David Evans, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das	Perracotta: mining temporal API rules from imperfect traces.	ICSE	2006	DBLP DOI BibTeX RDF	dynamic analysis, temporal properties, specification inference
1	Zhenmin Li, Yuanyuan Zhou	PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	automated specification generation, automated violation detection, data mining for software engineering, programming rules, pattern recognition, static analysis
1	Ivana Dusparic, Dominik Dahlem, Jim Dowling	Flexible Application Rights Management in a Pervasive Environment.	EEE	2005	DBLP DOI BibTeX RDF
1	Wei Xie, Yiguang Hong, Kishor S. Trivedi	Software Rejuvenation Policies for Cluster Systems under Varying Workload.	PRDC	2004	DBLP DOI BibTeX RDF
1	HyoungDo Kim	Conceptual Modeling and Specification Generation for B2B Business Process based on ebXML.	SIGMOD Record	2002	DBLP DOI BibTeX RDF
1	Dirk Jäger	UPGRADE - A Framework for Graph-Based Visual Applications.	AGTIVE	1999	DBLP DOI BibTeX RDF	structure-oriented (software) engineering tools, graph-based specification, generation of tools, adaptation to different representations, configuring visual tools
1	Akira Takura, Keizo Kawata, Tadashi Ohta	Process Specification Generation from Communications Service Specifications.	Autom. Softw. Eng.	1995	DBLP DOI BibTeX RDF
1	T. Yoshino, Sanya Uehara, Takao Okubo, S. Suguta, Y. Hotta, M. Sonobe	Reverse Engineering from COBOL to Narrative Specification. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	specification generation, process logic and maintenance tool, reverse engineering, software maintenance
1	Perry Alexander	Combining transformational and derivational analogy in Larch specification generation.	SEKE	1994	DBLP BibTeX RDF
1	Perry Alexander	BENTON: A Multi-Agent System for Larch Specification Generation.	SEKE	1993	DBLP BibTeX RDF