Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Artur Rembiszewski
Dataflow Testing of Java Programs With DFC
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Extending Dataflow Programs With Throughput Properties
Designing Robust Java Programs With Exceptions
ACM SIGSOFT Software Engineering Notes
SEDGE: Symbolic Example Data Generation for Dataflow Programs
XCorpus – An Executable Corpus of Java Programs.
Journal of Object Technology
Software
Minimization of Time & Cost Factors With Optimized Program-States Using Exception-Handling Constructs in Java (During Analysis and Testing of Programs)
IOSR Journal of Engineering
A Translator of Java Programs to TADDs
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Formal Techniques for Java-Like Programs
: Specification and Refinement of Safety-Critical Java Programs
Science of Computer Programming
Software
JavaMarker: A Marking System for Java Programs
International Journal of Computer Applications
