Robert
V. Binder is a serial entrepreneur and software technologist with
extensive
systems engineering experience. He has provided model-based testing solutions
for clients facing existential regulatory challenges, founded a startup offering
an automated testing system for mobile apps, and lead a consulting practice in
software process and advanced software testing.
He
was awarded a U.S. Patent for model-based testing of mobile systems. He is
internationally recognized as the author of the definitive Jeremy’s talk will be inspired
by his personal journey through the world of
model-based testing. With a
career that started in formal methods research, he first published work on
model-based testing in a much-cited 1993 paper addressing the generation of test
cases from VDM specifications, and subsequently worked in the use of animation
of formal specifications as test oracles. He helped design the software
testing module in the Oxford University Software Engineering MSc course, which
he taught for a number of years, and which contained strong model-based testing
themes, including early theory on the relationship between formal proof and
empirical testing. More recently, Jeremy worked on a team performing model-based
testing of air traffic control software for the new iFACTS system for UK
airspace, which went live in 2010. He currently works as Principal Analyst
for UK-based consultancy,
Integrate Systems Engineering Ltd, offering
consultancy, research and thought leadership in requirements management and the
V&V aspects of systems engineering. A key theme of his current work is
“Evidenced-based Development” in which every kind of validation, verification or
test activity is viewed as a request for evidence. He is co-author of a
Springer book entitled “Requirements Engineering” that has recently reached its
3rd edition.
