Empirical evidence on OCL formal specification-based metrics as a predictor of fault-proneness.
A. JalilaD. Jeya MalaPublished in: ACM SIGSOFT Softw. Eng. Notes (2013)
Keyphrases
- empirical evidence
- formal specification
- software metrics
- reverse engineering
- model checking
- object oriented design
- specification languages
- specification language
- fault diagnosis
- neural network
- process algebra
- data abstraction
- formal methods
- software systems
- software components
- metamodel
- software engineering
- temporal logic
- constraint language
- source code
- modeling language
- software projects
- concurrent systems
- fine grained
- case study
- real world
- test cases
- database