<--- Back to Details
First PageDocument Content
Cross-platform software / Compiler construction / Object-oriented programming / Call graph / Library / C / Software testing / Assertion / Java / Software engineering / Computing / Computer programming
Date: 2011-02-25 18:13:33
Cross-platform software
Compiler construction
Object-oriented programming
Call graph
Library
C
Software testing
Assertion
Java
Software engineering
Computing
Computer programming

Identifying Program, Test, and Environmental Changes That Affect Behaviour Reid Holmes David Notkin

Add to Reading List

Source URL: cs.uwaterloo.ca

Download Document from Source Website

File Size: 1,23 MB

Share Document on Facebook

Similar Documents

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 , and Jan Verschuren1 ? 1  Netherlands National Communication Security Agency (NLNCSA)

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 , and Jan Verschuren1 ? 1 Netherlands National Communication Security Agency (NLNCSA)

DocID: 1xV0o - View Document

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 and Jan Verschuren1 1  Netherlands National Communication Security Agency (NLNCSA)

Is Java Card ready for hash-based signatures? Ebo van der Laan1 , Erik Poll2 , Joost Rijneveld2 , Joeri de Ruiter2 , Peter Schwabe2 and Jan Verschuren1 1 Netherlands National Communication Security Agency (NLNCSA)

DocID: 1xUSb - View Document

A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304

A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304

DocID: 1xUOd - View Document

Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu  Atanas Rountev

Demand-Driven Context-Sensitive Alias Analysis for Java Dacong Yan Guoqing Xu Atanas Rountev

DocID: 1xUMO - View Document

Seuss for Java Language Reference Rajeev Joshi 1 12 FebruaryAbstract

Seuss for Java Language Reference Rajeev Joshi 1 12 FebruaryAbstract

DocID: 1xUzV - View Document