An assertions-based approach to verifying the absence property pattern
Data and Resources
Additional Info
| Field | Value |
|---|---|
| Source | 23rd IEEE International Symposium on Software Reliability Engineering (ISSRE'12) |
| Author | Frappier, Marc, Mammar, Amel |
| Maintainer | CCSD |
| Last Updated | May 11, 2026, 09:10 (UTC) |
| Created | May 11, 2026, 09:10 (UTC) |
| Identifier | hal-00816403 |
| Language | en |
| contributor | Groupe de Recherche en Ingénierie du Logiciel [Sherbrooke] (GRIL) ; Département d'informatique [Sherbrooke] (UdeS) ; Faculté des sciences [Sherbrooke] (UdeS) ; Université de Sherbrooke = University of Sherbrooke [Sherbrooke] (UdeS)-Université de Sherbrooke = University of Sherbrooke [Sherbrooke] (UdeS)-Faculté des sciences [Sherbrooke] (UdeS) ; Université de Sherbrooke = University of Sherbrooke [Sherbrooke] (UdeS)-Université de Sherbrooke = University of Sherbrooke [Sherbrooke] (UdeS) |
| coverage | Dallas, TX, United States |
| creator | Frappier, Marc |
| date | 2012-11-27T00:00:00 |
| harvest_object_id | 02513288-bc6c-433e-b67e-0cd5fae79695 |
| harvest_source_id | 3374d638-d20b-4672-ba96-a23232d55657 |
| harvest_source_title | test moissonnage SELUNE |
| metadata_modified | 2026-02-18T00:00:00 |
| relation | info:eu-repo/semantics/altIdentifier/doi/10.1109/ISSRE.2012.11 |
| set_spec | type:COMM |