Výsledky vyhľadávania - "Software and its engineering → Software verification and validation"

Determinacy Race Detector for Promises (Artifact)

Autori: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Prispievatelia: Jin, Feiyang Yu, Lechen Feiyang Jin and Lechen Yu

Predmety: Software and its engineering → Software testing and debugging, Determinism, Software and its engineering → Software verification and validation, Software and its engineering → Software notations and tools, Race detection, ddc:004, Determinacy-race, Software and its engineering → Software creation and management, Software and its engineering → Software defect analysis, Promise, Software and its engineering → Concurrent programming languages, Software and its engineering → General programming languages

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.24

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

Autori: Altmeyer, Sebastian André, Étienne Dal Zilio, Silvano a ďalší

Prispievatelia: Altmeyer, Sebastian André, Étienne Dal Zilio, Silvano a ďalší

Predmety: real-time systems, General and reference → Verification, Software and its engineering → Software verification and validation, Computer systems organization → Real-time systems, response time analysis, industrial use case, ddc:004, end-to-end latency, Verification challenge, Computer systems organization → Embedded systems

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.1.4

Toward Tool-Independent Summaries for Symbolic Execution (Artifact)

Autori: Ramos, Frederico Sabino, Nuno Adão, Pedro a ďalší

Prispievatelia: Ramos, Frederico Sabino, Nuno Adão, Pedro a ďalší

Predmety: Symbolic Execution, Software and its engineering → Software verification and validation, Runtime Modelling, Security and privacy → Formal methods and theory of security, Symbolic Summaries, ddc:004

Popis súboru: application/pdf

Prístupová URL adresa: https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.7

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)

Autori: Altmeyer, Sebastian André, Étienne Dal Zilio, Silvano a ďalší

Prispievatelia: Altmeyer, Sebastian André, Étienne Dal Zilio, Silvano a ďalší

Zdroj: 35th Euromicro Conference on Real-Time Systems, ECRTS 2023
https://hal.science/hal-04785541
35th Euromicro Conference on Real-Time Systems, ECRTS 2023, Editor: Alessandro V. Papadopoulos, Jul 2023, Vienna (AUSTRIA), Austria. ⟨10.4230/LIPICS.ECRTS.2023.19⟩

Predmety: Verification challenge, industrial use case, end-to-end latency, Computer systems organization → Real-time systems, Computer systems organization → Embedded systems, General and reference → Verification, Software and its engineering → Software verification and validation, [INFO]Computer Science [cs]

Geografické téma: Vienna (AUSTRIA), Austria

Dostupnosť: https://hal.science/hal-04785541
https://doi.org/10.4230/LIPICS.ECRTS.2023.19

Optimal stateless model checking for reads-from equivalence under sequential consistency

Autori: Parosh Abdulla Mohamed Atig Bengt Jonsson a ďalší

Predmety: Concurrent/parallel systems and technologies, Programming languages, Software testing, verification and validation, CCS Concepts: • Software and its engineering → Software verification and validation, Theory of computation → Verification by model checking

Relation: 10779/rmit.27592971.v1

Dostupnosť: https://figshare.com/articles/conference_contribution/Optimal_stateless_model_checking_for_reads-from_equivalence_under_sequential_consistency/27592971

Metamorphic testing: a review of challenges and opportunities

Autori: Chen, Tsong Yueh Kuo, Fei-Ching Liu, Huai a ďalší

Témy: Software and its engineering; Software verification and validation; Software testing and debugging, Article, PeerReviewed

URL: https://eprints.nottingham.ac.uk/51607/
https://dl.acm.org/citation.cfm?doid=3177787.3143561
https://eprints.nottingham.ac.uk/51607
https://dl.acm.org/citation.cfm?doid=3177787.3143561
doi:10.1145/3143561