Dr. Boris Beizer received a PhD in computer science from the
University of Pennsylvania in 1966. He has written twelve books,
ranging from system architecture to his well-known pair on software
testing -- Software Testing Techniques and
Software System Testing and Quality Assurance --
both considered standard references on the subject.
His latest book is Black Box Testing, an introduction to
testing technology. He directed testing for the FAA's Weather Message
Switching Center and several other large communications systems. He
has been a speaker at many testing conferences and is also known for
his seminars on testing. He consults on software testing and quality
assurance with many organizations throughout the world.
(bbeizer@acm.org.
(BACK TO TOP OF PAGE)
Mr. Bill Bently is a Member of the Q.A. Software Staff at Bayer
Corporation, a world leader in production of medical diagnostics
products. Mr. Bently is interested in how advanced software
technologies can be used for attaining the high levels of quality
necessary in critical applications. He is the developer of the
advanced form of software testing known as Cd testing, which has been
the subject of several papers he has presented at Quality Week. His
latest paper pioneered a new direction for software testing theory and
research; the development of a theory of test efficiency.
Antonia Bertolino graduated cum laude in Electronic Engineering at the
University of Pisa in 1985. Since 1986 she has been a researcher with
the "Istituto di Elaborazione della Informazione" of the Italian
National Research Council (CNR), in Pisa. Her research interests are
in software engineering and dependability. Currently she is working at
approaches for estimating and reducing the cost of debug testing
techniques and at methods for the evaluation of software
reliability. She is an associate editor of the Journal of Systems and
Software.
Robert V. Binder has over 22 years of software development
experience. He is President of RBSC Corporation, providing consulting
and training in software engineering and software process improvement
since 1984. He is author of "Application Debugging" (Prentice-Hall,
1985). "Testing Object-Oriented Systems" is under contract with
Addison-Wesley. He writes a regular column on testing for Object
magazine. His articles have appeared in American Programmer,
Communications of the ACM, Computerworld, CASE Outlook, CASE Trends,
Database Programming and Design, IEEE Computer, Journal of Knowledge
Engineering, Journal of Software Testing, Verification, and
Reliability, and Software Development. He is the of Chair a newly
formed study group to develop an IEEE standard for built-in test for
object-oriented software. Mr. Binder has an MS in Electrical
Engineering and Computer Science from the University of Illinois at
Chicago, and a BA and MBA from the University of Chicago. He is an
IEEE Senior Member, a member of the ACM, and holds the CDP and CCP.
Rita Bral is Executive Director of SR/Institute, the sponsor of the Quality Week
conferences, and VP/Promotion at Software Research, SR/Institute's parent company,
a role she has fulfilled since 1990.
At SR she has been responsible for SR's promotion effort, for technical
seminars, publicity, and trade-show activities, and has had major impact
on TestWorks documentation and collateral technical material.
Ms. Bral holds an Agrege in Pedagogy, University of Ghent and
Licentiaat in Roman Philology, University of Ghent, Belgium.
Gunther Chrobok graduated from University of Hannover in 1988 with a
degree in Meteorology and from University of Kaiserslautern in 1991
with a degree in Applied Mathematics. In 1991 he joined DLR and
applied software engineering technology in international studies on
ground segments for remote sensing of the earth. Within the ESSI
project ATECON he was involved in the development of the test concepts
and supported software projects during concept application phases.
Laura K. Dillon earned the Ph.D. degree in Computer
Science from the University of Massachusetts, Amherst (1984). She
is currently an Associate Professor in Computer Science at the
University of California, Santa Barbara. Dr. Dillon's research interests
include formal methods for modeling and analysis of real-time software
systems, formal specification and verification of real-time software
systems, and programming languages. Her work focuses on providing
automated support for building reliable software. Dr. Dillon received the
Best Paper Award for her work on verification of Ada tasking program at
the Third International Conference on Ada Applications and Environments
(May 1988). She has served on numerous national and international
program committees and advisory panels, chaired the 1996 ACM
International Symposium of Software Testing and Analysis, and is
currently an Associate Editor for IEEE Transactions on Software Engineering.
Thomas Drake is a management and technology consultant with Booz Allen &
Hamilton, Inc. He is currently on assignment with the National Security
Agency working as a senior technologist in their Software Engineering
Applied Technology Center. He manages this Center's Software Quality
Engineering initiatives. As part of an industry and government outreach/
partnership program, he holds frequent seminars and tutorials covering
code analysis, coding practice, testing, software project management, and
best current practices in software development.
Danny Faught serves as Technical Lead of the System Software Test Group
at the Hewlett-Packard Convex Division where he is responsible for the
test architecture for parallel supercomputer operating systems. He is
the creator and maintainer of the comp.software.testing FAQ, co-founder
of the swtest-discuss mailing list, and founder of a corporate-wide
software testers' mailing list at HP. He also has an interest in
writing and has been published in magazines such as Software QA
Magazine and Compute! Magazine. Mr. Faught is a member of the American
Society for Quality Control. He graduated cum laude from the University
Honors Program at the University of North Texas with a bachelor's
degree in Computer Science in 1992.
John Favaro is with Intecs Sistemi in Pisa, Italy, where he is Technical
Coordinator of the European Space Software Development Environment
Reference Facility Project, whose aim is the convergence of environments
supporting the principal projects within the European Space Agency. After
spending two years in Paris with CIT-Alcatel and INRIA working in the area
of software engineering environments and telecommunications, he then worked
from 1982 until 1990 at Industrial Informatics and Siemens AG in Germany in
the fields of software engineering, robotics and telecommunications, where
he was a member of the NATO industrial advisory group on standards. During
this period he was a member of the Ada Environments Working Group of the
Commission of European Communities. His principal current technical
interest is the economics of information technology, particularly software
reuse. He is European co-chair of the IEEE Technical Subcommittee on Reuse,
and is European Chair for the Fifth International Conference on Software
Reuse in May 1998. Mr. Favaro has an M.S. in Electrical Engineering and
Mathematics from the University of California at Berkeley and a B.S. in
Computer Science and Mathematics from Yale University.
Istvan Forgacs received the M. S. degree in electrical
engineering from Budapest Technical University in 1980. His research
interests include program testing and maintenance, debugging and flow
analysis. He has published about 20 technical articles. Now he is
a senior research associate of the Information Research Group,
Hungarian Academy of Sciences. He received the Ph.D. degree in
computer science in 1993.
Dick Hamlet is Professor of Computer Science at Portland State
University. He has worked as an operating-systems programmer and
systems-programming manager for a commercial service bureau and for a
university data-processing center. He was a member of the software
engineering research group at the University of Maryland for 12 years,
and a visiting lecturer at University of Melbourne in 1982. He has
been actively involved in theoretical program-testing research and in
building testing tools for more than 20 years. He is the author of two
textbooks and about 50 refereed conference and journal
publications. Currently he is investigating the theoretical
foundations of testing.
Dr. Howden is a professor of Computer Science at the University of
California at San Diego. He has worked in the area of program testing
and analysis since 1975, with the publication of his paper on symbolic
evaluation and automated test data generation. His work in the area
includes material on fault based testing methods, functional testing,
and the use of comments in systematic program analysis. His recent
work includes the development of analysis tools for a real time and
Ada programs. His book, Functional Analysis and Program Testing,
emphasized the use of broad spectrum functional testing, in which
tests are used that exercise each of the functional components of a
program, including those from specifications and design. He has also
done an analysis of statistical testing methods, and published work on
models which describe how methods combine to produce a cumulative
improvement in fault detection and reliability prediction.
Daniel Jackson is an Assistant Professor of Computer Science at Carnegie
Mellon University. He received his PhD from MIT, and MA from Oxford
University. His research interests include development methods, automatic
analysis of designs and specifications, and reverse engineering of code. He
has served on the programme committees of several international
conferences, including FSE, IWSSD and FME. He was one of the designers of
the curriculum of CMU's Master of Software Engineering program, in which he
has taught courses in development methods and analysis for 5 years. He has
worked in both development and research for various companies, including
AT&T, DEC and Logica UK.
Annie Kuntzmann-Combelles is Executive Vice-President of Objectif
Technologie, a company she set up in 1989 with the main strategical targets
of assessing/mastering and improving software process.
Annie Kuntzmann-Combelles is largely involved in software process
assessment and improvement based on business goals. She is also reviewer
for the European Union Information Technology programme and has been
chairing the IEEE Advisory Board over 1994 and 1995 and she is Vice Chair
of the COMPSAC 96 conference to be held in Seoul next August.
Her main interest is SPI (she is actively participating to the ISO/SPICE
project), measurement and object-oriented requirements and design. She has
been giving dozen of seminars and training on SPI and quantitative software
management based on the ami method.
She is a graduate of the Ecole Nationale Superieure de l'Aronautique et de
l'Espace in 1973.
Brian Marick worked for eleven years as a tester, developer, and line
manager, mostly on operating systems and compilers. Joint research at
the University of Illinois led to internal consulting and then, in
1992, his own consulting business, Testing Foundations. Because
practitioners are justifiably suspicious of those who talk about
software development but never actually do any, he tries to spend half
his time building, testing, and maintaining tools, some freely
available. He is the author of The Craft of Software Testing
(Prentice Hall, 1995).
Dr. Edward Miller is President of Software Research, Inc., San
Francisco, California, where he has been involved with software test
tools development and software engineering quality
questions. Dr. Miller has worked in the software quality management
field for 25 years in a variety of capacities, and has been involved
in the development of families of automated software and analysis
support tools. He was chairman of the 1985 1st International
Conference on Computer Workstations, and has participated in IEEE
conference organizing activities for many years. He is the author of
Software Testing and Validation Techniques, an IEEE Computer Society
Press tutorial text. Dr. Miller received his Ph.D. (Electrical
Engineering) degree from the University of Maryland, an M.S. (Applied
Mathematics) degree from the University of Colorado, and a BSEE from
Iowa State University.
John D. Musa is an independent consultant. He gives courses in
software reliability engineering on a world wide basis. He has
extensive experience as a software developer and manager. He has 21
years experience in software reliability engineering as one of the
creators and leaders of the field, and was elected Fellow of the IEEE for
his contributions. He has published over 80 papers and is principal author
of the widely acclaimed pioneering book "Software Reliability:
Measurement, Prediction, Application." He organized and led the
transfer of software reliability engineering into practice within AT&T.
Leon Osterweil is currently a professor in the Department of
Computer Science at the University of Massachusetts, Amherst.
Previously he had been a Professor in, and Chair of, Computer
Science Departments at both the University of California, Irvine, and
University of Colorado, Boulder. He was the founding Director of the
Southern California SPIN. He has been Program Committee Chair of
the 16th International Conference on Software Engineering, the 2nd
Symposium on Software Testing Analysis and Verification, the 4th
International Conference on the Software Process, and the 2nd Symposium
on Practical Software Development Environments. He has also presented
keynote talks at such meetings as CASE 92 in Montreal, and the Ninth
International Conference on Software Engineering where he
introduced the concept of Process Programming. He has consulted for such
companies as IBM, Bell Laboratories, SAIC, MCC, and TRW, and is a member of
SEI's Process Program Advisory Board.
Keith Stobie is Architect of Quality Assurance and Test at
BEA Systems, Inc.
Keith directs QA and Test process, strategy, and plans and
designs tests for BEA's Object Oriented Transaction Processing
Manager. Previously, Keith was Test Architect at
Informix
designing tests for the
Extended Parallel Server
product and Manager
of Quality and Process Improvement for Quality Engineering and
Development Services Dept. Keith held many QA and test roles at
Tandem Computers.
With over 17 years in the field, Keith is a
leader in testing methodology, tools technology, and quality process,
especially
software inspections.
Keith is active in the software task group of
ASQC, participant in
IEEE 2003 and 2003.2 standards on test methods, published several
articles and presented at many
quality and testing conferences. Keith is an
ASQC Certified Software Quality Engineer with a
BS from Cornell University.
