Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-23165-5_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Runtime Checking for Program Verification

English

Using Autonomous Components to Improve Runtime Qualities of Software

IET Software
Computer GraphicsComputer-Aided Design
2011English

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies

2014English

On-The-Fly Model Checking of Security Protocols and Its Implementation by Maude

IPSJ Digital Courier
2007English

Error Detection Through Consistency Checking

Annals of GIS
EarthPlanetary SciencesComputer Science Applications
2000English

MUST: A Scalable Approach to Runtime Error Detection in MPI Programs

2010English

Towards the Use of Slicing Techniques for an Efficient Invariant Checking

2015English

Using Program Slicing to Improve the Efficiency and Effectiveness of Cluster Test Selection

International Journal of Software Engineering and Knowledge Engineering
Computer GraphicsComputer NetworksCommunicationsComputer-Aided DesignArtificial IntelligenceSoftware
2011English

Preventing SQL Code Injection by Combining Static and Runtime Analysis

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy