Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S. Skevoulis
Detecting Null Pointer Violations in Java Programs
Related publications
Detecting Race Conditions in Java Programs Using Dynamic Analysis
Proceedings of the Institute for System Programming of the RAS
Pure Pointer Programs and Tree Isomorphism
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Detecting Software Modularity Violations
Hierarchical Pointer Analysis for Distributed Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Detecting and Correcting Conservativity Principle Violations in Ontology-To-Ontology Mappings
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Detecting Violations of Security Requirements for Vulnerability Discovery in Source Code
IEICE Transactions on Information and Systems
Electronic Engineering
Pattern Recognition
Hardware
Computer Vision
Electrical
Architecture
Artificial Intelligence
Software
Designing Robust Java Programs With Exceptions
ACM SIGSOFT Software Engineering Notes
Formal Techniques for Java-Like Programs
XCorpus – An Executable Corpus of Java Programs.
Journal of Object Technology
Software
