Search Results - "Java bytecode engineering"

Java-MaC: A Run-Time Assurance Approach for Java Programs: Java-MaC: A run-time assurance approach for Java programs

Authors: Kannan, Sampath Kim, Moonjoo Lee, Insup et al.

Source: Formal Methods in System Design. 24:129-155

Subject Terms: formal specification, Java bytecode engineering, Specification and verification (program logics, model checking, etc.), execution trace validation, program instrumentation, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, xecution trace validation, 02 engineering and technology, software reliability, run-time monitoring and checking, Java

File Description: application/xml; application/pdf

Access URL: https://repository.upenn.edu/cgi/viewcontent.cgi?article=1076&context=cis_papers
https://zbmath.org/2100115
https://doi.org/10.1023/b:form.0000017719.43755.7c

Java-MaC: A run-time assurance approach for Java programs

Authors: Moonzoo Kim Insup Lee The Pennsylvania State University CiteSeerX Archives

Contributors: Moonzoo Kim Insup Lee The Pennsylvania State University CiteSeerX Archives

Source: http://cs.kaist.ac.kr/~moonzoo/papers/fmsd04_javamac.pdf.

Subject Terms: software reliability, formal specification, run-time monitoring and checking, execution trace validation, program instrumentation, Java, Java bytecode engineering

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.119; http://cs.kaist.ac.kr/~moonzoo/papers/fmsd04_javamac.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.119
http://cs.kaist.ac.kr/~moonzoo/papers/fmsd04_javamac.pdf

Java-MaC: A run-time assurance approach for Java programs

Authors: Moonzoo Kim Sampath Kannan Insup Lee et al.

Contributors: Moonzoo Kim Sampath Kannan Insup Lee et al.

Source: http://www.vs.inf.ethz.ch/edu/HS2011/CPS/papers/kim04_java-mac.pdf.

Subject Terms: software reliability, formal specification, run-time monitoring and checking, execution trace validation, program instrumentation, Java, Java bytecode engineering

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.227.598

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.227.598
http://www.vs.inf.ethz.ch/edu/HS2011/CPS/papers/kim04_java-mac.pdf