Skip to main content

Evaluation of Software Safety

Nancy G. Leveson

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{Leveson:ICSE90,
  author    = {Nancy G. Leveson},
  title     = {Evaluation of Software Safety},
  booktitle = {ICSE},
  pages     = {223--224},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}

Related papers

Targeting Safety-Related Errors During Software Requirements Analysis FSE 1993
Mind the gap: assessing the conformance of software traceability to relevant guidelines ICSE 2014
Understanding Bounding Functions in Safety-Critical UAV Software ICSE 2021
B-AIS: An Automated Process for Black-box Evaluation of Visual Perception in AI-enabled Software against Domain Semantics ASE 2022
Leveraging artifact trees to evolve and reuse safety cases ICSE 2019
Safety and Performance, Why not Both? Bi-Objective Optimized Model Compression toward AI Software Deployment ASE 2022
Software Verification: 10th Comparative Evaluation (SV-COMP 2021) TACAS 2021
cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications PLDI 2023