|
|
|
|
Cleaveland, R. and Riely, J.: Testing-based abstractions for value passing systems. In Proceedings of CONCUR'94, Stockholm (Sweden), volume 836 of LNCS, 1994. http://citeseer.ist.psu.edu/context/519546/327649Document details from CiteSeerX (Isaac Councill, Lee Giles): Abstract. This paper presents a framework for the abstract interpretation of processes that pass values. We define a ... http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.7439Static specification mining using automata-based abstractions: Full text: Pdf (334 KB) Source http://portal.acm.org/citation.cfm?id=1273487Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel Institute of Technology sharonsh@cs.technion.ac.il Eran Yahav Stephen Fink Marco Pistoia ... http://www.research.ibm.com/people/e/eyahav/papers/issta07.pdfFAA grants 96-C-001 and # 06-G-006. ... Mitigating Complexity in Air Traffic Control: The Role of Structure-Based Abstractions http://dspace.mit.edu/handle/1721.1/42006 |
|
|