E-LIB Suche - Ergebnisse für: Sullivan, Allison

1

Does Every Computer Scientist Need to Know Formal Methods?:

Broy, Manfred ; Brucker, Achim ; Fantechi, Alessandro...
Formal Aspects of Computing. , 2024

Link: https://doi.org/10.1145/..

2

Live Programming for Finite Model Finders:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE),

Sullivan, Allison - p. 1747-1752 , 2023

Link: https://doi.org/10.1109/..

3

Integrating Testing into the Alloy Model Development Workfl..:

, In: 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS),

Sullivan, Allison - p. 117-128 , 2023

Link: https://doi.org/10.1109/..

4

Crucible: Graphical Test Cases for Alloy Models:

, In: 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE),

Emerson, Adam G. ; Sullivan, Allison - p. 218-227 , 2023

Link: https://doi.org/10.1109/..

5

Mutation Testing for Temporal Alloy Models:

, In: 2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS),

Jovanovic, Ana ; Sullivan, Allison - p. 228-238 , 2023

Link: https://doi.org/10.1109/..

6

A Scoping Review of Neighborhoods and Cognitive Health Disp..:

Sullivan, Allison ; Armendariz, Marina ; Thierry, Amy D.
Journal of Aging and Health. 36 (2023) 3-4 - p. 257-270 , 2023

Link: https://doi.org/10.1177/..

7

Abstract Alloy Instances:

, In: Formal Methods; Lecture Notes in Computer Science,

Ringert, Jan Oliver ; Sullivan, Allison - p. 364-382 , 2023

Link: https://doi.org/10.1007/..

8

Towards Automated Input Generation for Sketching Alloy Mode..:

, In: 2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE),

Jovanovic, Ana ; Sullivan, Allison - p. 58-68 , 2022

Link: https://doi.org/10.1145/..

9

Towards automated input generation for sketching alloy mode..:

, In: Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering,

Jovanovic, Ana ; Sullivan, Allison - p. 58-68 , 2022

Link: https://dl.acm.org/doi/1..

10

REACH: Refining Alloy Scenarios by Size (Tools and Artifact..:

, In: 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE),

Jovanovic, Ana ; Sullivan, Allison - p. 229-238 , 2022

Link: https://doi.org/10.1109/..

11

Additive value of epicardial adipose tissue quantification ..:

Brandt, Verena ; Decker, Josua ; Schoepf, U. Joseph...
European Radiology. 32 (2022) 6 - p. 4243-4252 , 2022

Link: https://doi.org/10.1007/..

12

HawkEye: User-Guided Enumeration of Scenarios:

, In: 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE),

Sullivan, Allison - p. 569-578 , 2021

Link: https://doi.org/10.1109/..

13

AlloyFL: a fault localization framework for Alloy:

, In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Khan, Tanvir Ahmed ; Sullivan, Allison ; Wang, Kaiyuan - p. 1535-1539 , 2021

Link: https://dl.acm.org/doi/1..

14

Perceived Neighborhood Characteristics and Cognitive Functi..:

Thierry, Amy D. ; Sherman-Wilkins, Kyler ; Armendariz, Marina..
International Journal of Environmental Research and Public Health. 18 (2021) 5 - p. 2661 , 2021

Link: https://doi.org/10.3390/..

15

Fault Localization for Declarative Models in Alloy:

, In: 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE),

Wang, Kaiyuan ; Sullivan, Allison ; Marinov, Darko. - p. 391-402 , 2020

Link: https://doi.org/10.1109/..