Research on trusted computing and its development

KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

Cristian Cadar, Dawson Engler · Operating Systems Design and Implementation · 2008 · 2.7K citations

Software Maintenance, Engineering, Verification +28

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · ACM SIGPLAN Notices · 2003 · 572 citations

Program Checking, Engineering, Verification +22

Ultra-Large-Scale Systems: The Software Challenge of the Future

Linda Northrop, Peter H. Feiler, Richard P. Gabriel et al. · Figshare · 2006 · 476 citations

Proceedings of the 4th international conference on Software engineering

Friedrich L. Bauer, Leon G. Stucki, M. M. Lehman · International Conference on Software Engineering · 1979 · 391 citations

Automated Software Engineering, Empirical Software Engineering Research, Engineering +7

On understanding laws, evolution, and conservation in the large-program life cycle

M. M. Lehman · Journal of Systems and Software · 1979 · 377 citations

Engineering, Life-cycle Engineering, Evolutionary Biology +6