Tag: 1970s-present

Seven researchers and practitioners helped evolve code review from formal inspections into lightweight, tool-based collaboration around nearly every software change.

Seven researchers helped turn compile-time reasoning into a practical way to find bugs, enforce properties, and approximate program behavior without executing every path.

Seven researchers helped turn symbolic execution from a theoretical path-analysis idea into a practical engine for generating tests and finding deep software bugs.

Seven researchers helped turn deliberate program faults into a quantitative way to measure whether tests are strong enough to detect subtle behavioral changes.

Seven practitioners helped turn software testing into a disciplined profession centered on defect discovery, risk, exploratory investigation, automation, and quality strategy.

Seven chip designers helped move programmable computing from standalone computers into tiny controllers embedded throughout everyday products.

Seven researchers helped establish the clocks, fault models, replication methods, process groups, and network principles behind dependable distributed systems.

Seven developers helped evolve source control from per-file revision systems to CVS, BitKeeper, Git, and Mercurial.

Seven toolmakers illuminate the evolution from Make and Jam to Ant, Maven, Gradle, language toolchains, and cross-platform build automation.