Back to Results
First PageMeta Content
Binary decision diagram / Model checking / Software metrics / Software engineering / Modified condition/decision coverage / Code coverage / Mathematics / Formal methods / Software testing / Boolean algebra / Diagrams


Formalization and Comparison of MCDC and Object Branch Coverage Criteria Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, FPARIS (France) {comar, guitton, hainque, quino
Add to Reading List

Document Date: 2012-03-18 14:24:37

Open Document

File Size: 203,87 KB

Share Result on Facebook

City

London / /

Company

MIT Press / /

Country

United Kingdom / /

/

Facility

South Bank University / /

IndustryTerm

invaluable tool / airborne systems / coverage tool / industrial applications / software testing criteria / automated processing / safety-critical software / trace-based assessment technologies / software changes / software program / Software considerations / software testing / software change / /

Organization

Federal Aviation Administration / MIT / South Bank University / IEEE Computer Society / /

Person

Tristan Gingold / Thomas Quinot / Randal E. Bryant / Jerome Guitton / John J. Chilenski / Olivier Hainque / Ken Robinson / Sergiy A. Vilkomir / Martin Henson / Matteo Bordin / Cyrille Comar / Steven P. Miller / Jonathan P. Bowen / Daniel Jackson / Philip H. Newcomb / George Romanski / /

ProgrammingLanguage

Ada / RC / DC / C / /

ProvinceOrState

South Carolina / Newfoundland / /

PublishedMedium

Lecture Notes in Computer Science / IEEE Transactions on Computers / /

Technology

trace-based assessment technologies / dom / Graph-Based Algorithms / /

URL

http /

SocialTag