Abstract reachability graph for verifying web service interfaces

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5030 LNCS, Issue , 2008, Pages 262-265

  Du, Xutao ^a   Xing, Chunxiao ^a   Zhou, Lizhu ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; BOOLEAN FUNCTIONS; CELLULAR RADIO SYSTEMS; GRAPH THEORY; INFORMATION SERVICES; LEARNING ALGORITHMS; WORLD WIDE WEB;

INTERNATIONAL CONFERENCES; REACHABILITY GRAPH; WEB-SERVICE INTERFACES;

COMPUTER SOFTWARE REUSABILITY;

EID: 50949120538     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68073-4_26     Document Type: Conference Paper

References (3)

1. Necula, G.G., McPeak, S., Rahul, S.P., Weimer, W.: CIL: Intermediate language and tools for analysis and transformation of c programs. In: Computational Complexity, pp. 213-228 (2002)
2. Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.: The software model checker Blast: Applications to software engineering. Int. Journal on Software Tools for Technology Transfer (STTT) 9(5-6), 505-525 (2007); Invited to special issue of selected papers from FASE (2004/05)
3. Barrett, C., Berezin, S.: CVC Lite: A new implementation of the cooperating validity checker. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 515-518. Springer, Heidelberg (2004)