Concepedia

Colin Campbell

CC

Statistics

Publications

5

Citations

137

H-Index

5

Active since

2005

Affiliations

Microsoft (United States)(Current)

Colin Campbell is an author at Microsoft (United States) specializing in engineering, program analysis, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringSoftware Engineering

Publications per year

2005–2015

5

Publications

5

Online testing with model programs

Margus Veanes, Colin Campbell, Wolfram Schulte et al. · 2005 · 64 citations

Engineering, Verification, Software Engineering +20

The Same Reverberation Time in Two Identical Rooms does not Necessarily Mean the Same Levels of Speech Clarity and Sound Levels when We Look at Impact of different Ceiling and Wall Absorbers

Colin Campbell, Erling Nilsson, Carsten Svensson · Energy Procedia · 2015 · 22 citations · Full text

Engineering, Speech Science, Communication +17

Online testing with model programs

Margus Veanes, Colin Campbell, Wolfram Schulte et al. · ACM SIGSOFT Software Engineering Notes · 2005 · 19 citations

Engineering, Verification, Software Engineering +20

On-The-Fly Testing of Reactive Systems

Margus Veanes, Colin Campbell, Wolfram Schulte et al. · 2005 · 16 citations

Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation

Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell et al. · 2006 · 16 citations

Artificial Intelligence, Engineering, Verification +28

1–5 of 5