There are two fundamental limitations in software testing, known as the reliable test set problem and the oracle problem. Fault-based testing is an attempt by Morell to alleviate the reliable test set problem. In this paper, we propose to enhance fault-based testing to alleviate the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs.

/pdf/fault-based-testing-without-the-need-of-oracles-13bxbudw1x.pdf

Fault-based testing without the need of oracles

https://www-users.cs.umn.edu/~evw/pubs/vanwyk10scp/vanwyk10scp.pdf

Silver: An extensible attribute grammar system

/pdf/integrated-spatial-reasoning-in-geographic-information-134qbtnxm8.pdf

Integrated spatial reasoning in geographic information systems: combining topology and direction

Bisimulation indexes and their applications

In this work, we attempt to alleviate three (more or less) equivalent negative results. These are (i) non-axiomatizability (by any finite schema) of the valid formula schemas of first order logic, (ii) non-axiomatizability (by finite schema) of any propositional logic equivalent with classical first order logic (i.e., modal logic of quantification and substitution), and (iii) non-axiomatizability (by finite schema) of the class of representable cylindric algebras (i.e., of the algebraic counterpart of first order logic). Here we present two finite schema axiomatizable classes of algebras that contain, as a reduct, the class of representable quasi-polyadic algebras and the class of representable cylindric algebras, respectively. We establish positive results in the direction of finitary algebraization of first order logic without equality as well as that with equality. Finally, we will indicate how these constructions can be applied to turn negative results (i), (ii) above to positive ones.1

Finite schematizable algebraic logic

Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time system development. This interplay between algebraic methodology and software technology (AMAST) for real-time systems is the theme for this text. Each chapter, derived from papers presented at the all-invitation 1st AMAST International Workshop on Real-Time Systems (Iowa, 1993), is written by leaders in their field. The chapters form a mix of modelling, specification, verification, and implementation of "real" real-time systems, covering untimed and timed systems, sequential, concurrent and embedded real-time processes, integrated models using state machines, temporal logic and algebraic data models, real-time CSP, verification tools, system design using temporal logic, symbolic checking of discrete time models, iterative symbolic approximation in timing verification and verification of audio protocols, timed full LOTOS and timed LOTOS extensions, LOTOS specification of telephone services and flight warning computers, and performance analysis.

Theories and Experiences for Real-Time System Development

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica­ tions. The selection was very strict, for 121 submissions were received.

/pdf/algebraic-methodology-and-software-technology-amast-93-44odzahncu.pdf

Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference, University of Twente, Enschede, The Netherlands 21–25 June 1993

Categorical modelling is a useful tool in the study of systems. The basic idea of categorical shape theory is that, in any approximating situation, the approximations are what encode the only information that the system can analyse. Such approximations are very important in using time-varying complex systems to model system developments. Within this context, basic properties of categorical shape theory are introduced in order to better understand system approximation and construction.

Identification and Recognition through Shape in Complex Systems

Opening Address by the Rector of the University of Twente- Welcoming Address AMAST'93- Invited Papers- Applying Algebraic Logic to Logic- Relation Algebras for Reasoning About Time and Space- On the Value of Commutative Diagrams in Information Modelling- Rigorous Specification of Real-Time Systems- Full Abstraction in Structural Operational Semantics (Extended Abstract)- Synchronous Observers and the Verification of Reactive Systems- Constraints in Term Algebras (Short Survey)- Joining Abstract and Concrete Computations in Constraint Logic Programming- Communications- Dimension-Complemented Lambda Abstraction Algebras- Parameterized Recursion Theory-A Tool for the Systematic Classification of Specification Methods- Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-Time Reflection- A Coherent Type System for a Concurrent, Functional and Imperative Programming Language- Peirce Algebras (Extended Abstract)- Comparing Two Different Approaches to Products in Abstract Relation Algebra- Specifying Type Systems with Multi-Level Order-Sorted Algebra- An Overview of the SODA System- Category Theory for the Configuration of Complex Systems- Algebraic-Oriented Institutions- On the Correctness of Modular Systems- Interaction Between Algebraic Specification Grammars and Modular System Design- Specification of Hybrid Systems in CRP- Real-Time Program Synthesis from Specifications- On the Coverage of Partial Validations- Verifying Communication Protocols via Testing-Projection- Equivalences of Transition Systems in an Algebraic Framework- Semantics Frameworks for a Class of Modular Algebraic Nets- A Characterization of LOTOS Representable Networks of Parallel Processes- Towards Performance Evaluation in Process Algebras- Translation Results for Modal Logics of Reactive Systems- Modal Action Logic in a Practical Specification Language- On Using a Composition Principle to Design Parallel Programs- A Notion of Refinement for Automata- The Role of Memory in Object-Based and Object-Oriented Languages- Abstract and Concrete Objects-An Algebraic Design Method for Object-Based Systems- Towards an Algebraic Theory of Inheritance in Object Oriented Programming- An Object-Oriented Design for the ACT ONE Environment- A Formal Definition of an Abstract Prolog Compiler (Extended Abstract)- Completeness of Equational Definitions over Predefined Algebras- An Algebraic Approach to Modeling in Software Engineering- Automated Proof of the Correctness of a Compiling Specification- System Demonstrations- RELVIEW-A Computer System for the Manipulation of Relations- RALF-A Relation-Algebraic Formula Manipulation System and Proof Checker- Towards an Integrated Environment for Concurrent Programs Development- The LOTOS Toolbox- The ASF + SDF Meta-Environment- Executing Action Semantic Descriptions Using ASF + SDF- Author Index

Algebraic Methodology and Software Technology (AMAST’93) : proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993

Categorical modelling is a useful tool in the study of systems. To motivate this, interpretation of elementary category theory ideas are illustrated in terms of time-varying complex systems. A brief introduction to the notion of categorical shape theory to model approximating situations is given.

Charles Rattray

Papers

Theories and Experiences for Real-Time System Development

Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference, University of Twente, Enschede, The Netherlands 21–25 June 1993

Identification and Recognition through Shape in Complex Systems

Algebraic Methodology and Software Technology (AMAST’93) : proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993

The Shape of Complex Systems