|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mark G. Pleszkoch, Richard C. Linger, Stacy J. Prowell, Kirk Sayre, Luanne Burns |
Automated Behavior Computation for Software Analysis and Validation.  |
HICSS  |
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 | 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 |
| 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 | 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 | 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 | Richard C. Linger, Alan R. Hevner, Gwendolyn H. Walton, Mark G. Pleszkoch |
Automated Detection of Injected Faults in a Differential Equation Solver Network Systems Development. |
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 | William I. Gasarch, Mark G. Pleszkoch, Frank Stephan, Mahendran Velauthapillai |
Classification Using Information. |
Ann. Math. Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | William I. Gasarch, Efim B. Kinber, Mark G. Pleszkoch, Carl H. Smith, Thomas Zeugmann |
Learning via Queries with Teams and Anomalies. |
Fundam. Inform. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | William I. Gasarch, Mark G. Pleszkoch, Mahendran Velauthapillai |
Classification Using Information. |
GOSLER Final Report |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | William I. Gasarch, Mark G. Pleszkoch, Mahendran Velauthapillai |
Classification Using Information. |
AII/ALT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | William I. Gasarch, Mark G. Pleszkoch, Robert Solovay |
Learning vi Queries in [+, <]. |
J. Symb. Log. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Philip A. Hausler, Mark G. Pleszkoch, Richard C. Linger, Alan R. Hevner |
Using Function Abstraction to Understand Program Behavior. |
IEEE Software |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Efim B. Kinber, William I. Gasarch, Thomas Zeugmann, Mark G. Pleszkoch, Carl H. Smith |
Learning Via Queries With Teams and Anomilies. |
COLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | William I. Gasarch, Mark G. Pleszkoch, Robert Solovay |
Learning Via Queries in [+, <]. |
COLT |
1990 |
DBLP BibTeX RDF |
|
| 1 | William I. Gasarch, Mark G. Pleszkoch |
Learning via Queries to an Oracle. |
COLT |
1989 |
DBLP BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")