Search results for "function extraction"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner	Introducing function extraction into software testing.	DATA BASE	2008	DBLP DOI BibTeX RDF	function extraction, software testing, software systems, program behavior
2	Richard C. Linger, Mark G. Pleszkoch, Luanne Burns, Alan R. Hevner, Gwendolyn H. Walton	Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior.	HICSS	2007	DBLP DOI BibTeX RDF
1	Magnus O. Myreen, Michael J. C. Gordon	Function extraction.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Richard C. Linger, Kirk Sayre, Tim Daly, Mark G. Pleszkoch	Function Extraction Technology: Computing the Behavior of Malware.	HICSS	2011	DBLP DOI BibTeX RDF
1	Rosann Webb Collins, Alan R. Hevner, Richard C. Linger	Evaluating a Disruptive Innovation: Function Extraction Technology in Software Development.	HICSS	2011	DBLP DOI BibTeX RDF
1	K. Vimal Kumar	Securing communication using function extraction technology for malicious code behavior analysis.	Computers & Security	2009	DBLP DOI BibTeX RDF
1	Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili	Relational Methods in the Analysis of While Loops: Observations of Versatility.	RelMiCS	2009	DBLP DOI BibTeX RDF	Function extraction, loop functions, invariant assertions, invariant relations, invariant functions, computing loop behavior, refinement calculus, relational calculus
1	Rosann Webb Collins, Alan R. Hevner, Gwendolyn H. Walton, Richard C. Linger	The impacts of function extraction technology on program comprehension: A controlled experiment.	Information & Software Technology	2008	DBLP DOI BibTeX RDF
1	Tom Stafford, Patrick Y. K. Chau	Letter from the editors.	DATA BASE	2008	DBLP DOI BibTeX RDF
1	Qiang Fu, Wai-Shing Luk, Jun Tao, Changhao Yan, Xuan Zeng	Characterizing Intra-Die Spatial Correlation Using Spectral Density Method.	ISQED	2008	DBLP DOI BibTeX RDF	intra-die variation, spectral domain, spectral density, spatial correlation
1	Ali Mili, Tim Daly, Mark G. Pleszkoch, Stacy J. Prowell	A Semantic Recognizer Infrastructure for Computing Loop Behavior.	HICSS	2007	DBLP DOI BibTeX RDF
1	Ali Mili	A Refinement Based Framework for Computing Loop Behavior.	SEW	2007	DBLP DOI BibTeX RDF
1	Rao Desineni, R. D. (Shawn) Blanton	Diagnosis of Arbitrary Defects Using Neighborhood Function Extraction.	VTS	2005	DBLP DOI BibTeX RDF	test generation, Diagnosis, defects, failure analysis, yield enhancement
1	Richard C. Linger, Mark G. Pleszkoch	Function Extraction (FX) Technology: Automated Calculation of Program Behavior for High-Assurance Systems.	HASE	2004	DBLP DOI BibTeX RDF
1	Mark G. Pleszkoch, Richard C. Linger	Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior.	HICSS	2004	DBLP DOI BibTeX RDF
1	Diana Toma, Dominique Borrione, Ghiath Al Sammane	Combining Several Paradigms for Circuit Validation and Verification.	CASSIS	2004	DBLP DOI BibTeX RDF
1	François Pachet, Aymeric Zils	Evolving Automatically High-Level Music Descriptors from Acoustic Signals.	CMMR	2003	DBLP DOI BibTeX RDF