A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications

doi 10.1109/icstw.2013.28
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Generating XTAG Parsers From Algebraic Specifications

2006English

Real-Time Java API Specifications for High Coverage Test Generation

2012English

Designing Dependable Logic Controllers Using Algebraic Specifications

IFAC Proceedings Volumes
2004English

The Algebraic Specifications Do Not Have the Tennenbaum Property

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

Coinductive Big-Step Operational Semantics for Type Soundness of Java-Like Languages

2011English

Implementations of Geographically Weighted Lasso in Spatial Data With Multicollinearity (Case Study: Poverty Modeling of Java Island)

2017English

Java Security Extensions for a Java Server in a Hostile Environment

English

The Hunt for MH370

Science
MultidisciplinaryPhilosophy of ScienceHistory
2014English

A Logical Framework for Evolution of Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1994English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy