Embedded typesafe domain specific languages for java

Authors: Jevgeni Kabanov, Rein Raudjärv

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.ekabanov.net/uploads/3/8/4/6/3846628/kabanov-raudjarv-pppj08.pdf.

Subject Terms: D.2.3 [Software Engineering, Coding Tools and Techniques, D.2.4 [Software Engineering, Software/Program Verification, D.2.13 [Software Engineering, Reusable Software General Terms Design, Reliability, Languages, Verification Keywords Java, domain-specific, DSL, typesafe

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.180.4784
http://www.ekabanov.net/uploads/3/8/4/6/3846628/kabanov-raudjarv-pppj08.pdf

Unit testing concurrent software

Authors: William Pugh, Nathaniel Ayewah

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.umd.edu/%7Eayewah/web/pubs/UnitTesting-ASE2007.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— testing tools General Terms Experimentation, Reliability, Verification Keywords Java, testing framework, concurrent abstraction, JUnit test cases, MultithreadedTC

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8507
http://www.cs.umd.edu/%7Eayewah/web/pubs/UnitTesting-ASE2007.pdf

Specification and Verification with References

Authors: Bruce W. Weide, Wayne D. Heym

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.iastate.edu/~leavens/SAVCBS/papers-2001/weide-heym.pdf.

Subject Terms: Categories and Subject Descriptors D.2.1 [Requirements/Specifications, Languages, Methodologies. D.2.4 [Software/Program Verification, Correctness proofs, Formal methods, Programming by contract, Reliability. General Terms Design, Reliability, Verification. Keywords Java, Pointers, References, Specification, Verification

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.3035
http://www.cs.iastate.edu/~leavens/SAVCBS/papers-2001/weide-heym.pdf

Support for Non-Null Types in Java

Authors: Allie Mazzia, James Juett

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www-personal.umich.edu/~amazzia/pubs/590-final.pdf.

Subject Terms: Languages, Reliability, Verification Keywords Java, null references, type system, non-null types, may-be-null types, raw

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.388.1102
http://www-personal.umich.edu/~amazzia/pubs/590-final.pdf

General Terms

Authors: Tomoyuki Higuchi

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.pllab.riec.tohoku.ac.jp/~ohori/research/jvmcalc.pdf.

Subject Terms: Languages, Theory, Verification Keywords Java bytecode

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.9763; http://www.pllab.riec.tohoku.ac.jp/~ohori/research/jvmcalc.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.9763
http://www.pllab.riec.tohoku.ac.jp/~ohori/research/jvmcalc.pdf

ABSTRACT Unit Testing Concurrent Software

Authors: William Pugh

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.umd.edu/projects/PL/multithreadedtc/pubs/ASE07-pugh.pdf.

Subject Terms: D.2.5 [Software Engineering, Testing and Debugging— testing tools General Terms Experimentation, Reliability, Verification Keywords Java, testing framework, concurrent abstraction, JUnit test cases, MultithreadedTC

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.81
http://www.cs.umd.edu/projects/PL/multithreadedtc/pubs/ASE07-pugh.pdf

Predicate Abstraction in Java Pathfinder

Authors: Jakub Daniel, Pavel Parízek, Corina S. Păsăreanu

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://d3s.mff.cuni.cz/publications/download/Daniel-jpf13.pdf.

Subject Terms: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Verification Keywords Java Pathfinder

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.9960
http://d3s.mff.cuni.cz/publications/download/Daniel-jpf13.pdf

Semantic Annotation for Java

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.jot.fm/issues/issue_2010_05/column2.pdf.

Subject Terms: Categories and Subject Descriptors D.2.3 [Design Tools and Techniques, Semantics and Features – assertion checkers, computer-human interface, programming by contract, specification. General Terms Documentation, Human Factors, Languages, Reliability Verification. Keywords Java, assertions, semantics, GUI construction, automatic code synthesis, reflection

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.6515; http://www.jot.fm/issues/issue_2010_05/column2.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.591.6515
http://www.jot.fm/issues/issue_2010_05/column2.pdf

Finding synchronization defects in java programs: Extended static analyses and code patterns

Authors: Frank Otto, Thomas Moschny

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://wwwipd.ira.uka.de/%7Etichy/uploads/publikationen/178/Otto2008.pdf.

Subject Terms: D.1.3 [Programming Techniques, Concurrent Programming—parallel programming, D.2.4 [Software Engineering, Software/Program Verification—reliability General Terms Reliability, verification. Keywords Java, synchronization defects, lockset analysis, anti-pattern detection

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.258.8481; http://wwwipd.ira.uka.de/%7Etichy/uploads/publikationen/178/Otto2008.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.258.8481
http://wwwipd.ira.uka.de/%7Etichy/uploads/publikationen/178/Otto2008.pdf

Semantic Annotation for Java

Authors: Douglas Lyon

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://show.docjava.com/pub/document/jot/v9n3.pdf.

Subject Terms: Documentation, Human Factors, Languages, Reliability Verification. Keywords Java, assertions, semantics, GUI construction, automatic code synthesis, reflection

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.9005; http://show.docjava.com/pub/document/jot/v9n3.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.9005
http://show.docjava.com/pub/document/jot/v9n3.pdf

Total Correctness of Recursive functions . . .

Authors: George Karabotsos, Patrice Chalin, Perry R. James, Leveda Giannas

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.eecs.ucf.edu/SAVCBS/2008/papers/Karabotsos-etal.pdf.

Subject Terms: Reliability, Languages, Theory, Verification. Keywords Java, Java Modeling Language, Full Static Program Verification

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.6457
http://www.eecs.ucf.edu/SAVCBS/2008/papers/Karabotsos-etal.pdf