Work

Verifying Web applications using bounded model checking

Year: 2004

Type: conference-paper

Source: International Conference on Dependable Systems & Networks/Proceedings

DOI: 10.1109/dsn.2004.1311890

Authors: Yao-Wen Huang, Fang Yu, C. Hang, Chung-Hung Tsai, D.T. Lee, Sy-Yen Kuo

Institutions: National Taiwan University, Institute of Information Science, Academia Sinica, Academia Sinica, RWTH Aachen University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2114808014

FWCI: 2.335

Cites: 26

Cited by: 46

Related to: 10