Guest editorial: special issue on emerging challenges in software certification and verification.
Luigi De SimoneNuno LaranjeiroDomenico CotroneoPublished in: Softw. Qual. J. (2023)
Keyphrases
- special issue
- advanced technologies
- international journal
- ecml pkdd
- ai edam
- model checking
- special section
- software engineering practices
- lessons learned
- software systems
- computer systems
- software development
- applied intelligence
- exam preparation
- source code
- formal methods
- data mining
- computer science
- future directions
- formal verification
- emerging topics
- hardware designs
- software intensive systems
- topic in data mining