Dataflow Testing of Java Programs With DFC

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-28038-2_17
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Extending Dataflow Programs With Throughput Properties

2013English

Designing Robust Java Programs With Exceptions

ACM SIGSOFT Software Engineering Notes
2000English

SEDGE: Symbolic Example Data Generation for Dataflow Programs

2013English

XCorpus – An Executable Corpus of Java Programs.

Journal of Object Technology
Software
2017English

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
2012English

A Translator of Java Programs to TADDs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Formal Techniques for Java-Like Programs

English

: Specification and Refinement of Safety-Critical Java Programs

Science of Computer Programming
Software
2019English

JavaMarker: A Marking System for Java Programs

International Journal of Computer Applications
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy