Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium

Bandera: extracting finite-state models from Java source code

J.C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · 2002 · 147 citations

Computing, Computer Engineering, Computer Science +16

Principled design of the modern Web architecture

R.T. Fielding, R.N. Taylor · 2002 · 140 citations

Computing, Information Systems, Distributed Systems +16

Requirements engineering in the year 00: a research perspective

Axel van Lamsweerde · 2002 · 122 citations

Engineering, Computer Science, Requirements Engineering +15

A case study of open source software development: the Apache server

Audris Mockus, R.T. Fielding, Jin Herbsleb · 2002 · 88 citations

Computing, Computer Science, Information Technology +14

Quickly detecting relevant program invariants

Michael D. Ernst, Adam Czeisler, William G. Griswold et al. · 2002 · 66 citations

Computing, Computer Science, Formal Methods +13