|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 20 occurrences of 17 keywords
|
|
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Bin Xin, Patrick Th. Eugster, Xiangyu Zhang, Jinlin Yang |
Lightweight Task Graph Inference for Distributed Applications.  |
SRDS  |
2010 |
DBLP DOI BibTeX RDF |
distributed computing, anomaly detection, task graphs, log analysis, happens-before |
| 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 | David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan |
Software Assurance by Bounded Exhaustive Testing. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
Formal methods, program verification, testing and debugging |
| 1 | Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson |
Software assurance by bounded exhaustive testing. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
TestEra, formal methods, reverse engineering, specification-based testing, automated test case generation, bounded exhaustive testing |
| 1 | Jinlin Yang, David Evans |
Dynamically inferring temporal properties. |
PASTE |
2004 |
DBLP DOI BibTeX RDF |
property patterns, dynamic analysis, concurrent programming, invariants, temporal properties |
| 1 | Jinlin Yang, David Evans |
Automatically Inferring Temporal Properties for Program Evolution . |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")