Back to Results
First PageMeta Content
Computer programming / Test-driven development / Unit testing / Eiffel / Postcondition / Test automation / Design by contract / Test case / XUnit / Software testing / Software development / Software engineering


Open Document

Share Result on Facebook

City

Dubrovnik / Boston / New York / Rome / Glasgow / St. Louis / /

Company

Fiat / Complex Computer Systems / ACM Press / Cdd / Parasoft Corporation / CASE / /

Country

Croatia / Italy / United States / Scotland / /

Currency

USD / EUR / /

/

IndustryTerm

software system / software engineering / hybrid analysis tool / software projects / bank account / object-oriented software / concurrent applications / real software systems / automation testing tools / possible applications / important tool / software development / software systems / bank account example / formal software specifications / possible solution / bank account application / executable specification tools / /

OperatingSystem

XP / /

Organization

Centre National / Institut National Polytechnique de Grenoble / INTRODUCTION Unit / /

Person

Martin Burger / Joseph Fourier Grenoble / Manuel Oriol / Andreas Zeller / E RNST / Bernd Schoeller / A RSLAN / V / /

Position

extractor / Test State Extractor / General / state extractor / Chair / Switzerland Arno Fiva / test case extractor / programmer / /

ProgrammingLanguage

Java / C / K / php / L / /

ProvinceOrState

Hawaii / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

Object-Oriented Programming / Software Technology / operating system / DSD / Java / GUI / /

URL

http /

SocialTag