Name
Abstract | ||
|---|---|---|
The quality of our daily life is getting more and more dependent on the quality of many important Web applications running on the Internet. With the rapid evolutions of the Web applications, effective maintenance techniques to guarantee the correctness of the evolutions are highly demanded. We present our initial work on exploring automated verification techniques for this purpose, via algebraic reasoning and model checking on the abstract navigational behavior of the evolving Web applications expressed in labelled transition systems, against the desired properties expressed in temporal logic formulas combined with tree automata. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1109/HASE.2007.52 | HASE |
Keywords | Field | DocType |
automata theory,website maintenance,trees (mathematics),temporal logic formulas,model checking,labelled transition systems,web site maintenance,reverse engineering.,tree automata,software maintenance,reasoning about programs,formal approach,internet,daily life,labelled transition system,temporal logic,web application quality,web application,abstract navigational behavior,initial work,algebraic reasoning,automated verification techniques,important web application,formal verification,automated verification technique,effective maintenance technique,reverse engineering | Automata theory,Programming language,Model checking,Computer science,Correctness,Software maintenance,Web application,Temporal logic,Formal verification,The Internet | Conference |
ISSN | ISBN | Citations |
1530-2059 | 978-0-7695-3043-7 | 1 |
PageRank | References | Authors |
0.37 | 2 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| L. Duan | 1 | 12 | 3.65 |
| Jessica Chen | 2 | 135 | 12.38 |