Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297152057> ?p ?o ?g. }
- W4297152057 endingPage "416" @default.
- W4297152057 startingPage "381" @default.
- W4297152057 abstract "Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines for such studies. We mention their main ingredients and then define nine different study strategies (usability testing, laboratory experiments with software and human subjects, case studies, qualitative studies, surveys, judgement studies, systematic literature reviews, and systematic mapping studies) and discuss for each of them their crucial characteristics, the difficulties of applying them to formal methods and tools, typical threats to validity, their maturity in formal methods, pointers to external guidelines, and pointers to studies in other fields. We conclude with a number of challenges for empirical formal methods." @default.
- W4297152057 created "2022-09-27" @default.
- W4297152057 creator A5040962321 @default.
- W4297152057 creator A5064415269 @default.
- W4297152057 date "2022-09-24" @default.
- W4297152057 modified "2023-09-26" @default.
- W4297152057 title "Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods" @default.
- W4297152057 cites W1564623840 @default.
- W4297152057 cites W1603233098 @default.
- W4297152057 cites W1607675442 @default.
- W4297152057 cites W1791587663 @default.
- W4297152057 cites W1918280324 @default.
- W4297152057 cites W1937768634 @default.
- W4297152057 cites W1967766053 @default.
- W4297152057 cites W1969939902 @default.
- W4297152057 cites W1975988951 @default.
- W4297152057 cites W1978374817 @default.
- W4297152057 cites W1979290264 @default.
- W4297152057 cites W1983211981 @default.
- W4297152057 cites W1989287546 @default.
- W4297152057 cites W1990580455 @default.
- W4297152057 cites W1997221584 @default.
- W4297152057 cites W1999798506 @default.
- W4297152057 cites W2000538740 @default.
- W4297152057 cites W2001677911 @default.
- W4297152057 cites W2006003012 @default.
- W4297152057 cites W2007367842 @default.
- W4297152057 cites W2007969951 @default.
- W4297152057 cites W2016022053 @default.
- W4297152057 cites W2020505539 @default.
- W4297152057 cites W2024509488 @default.
- W4297152057 cites W2030220885 @default.
- W4297152057 cites W2032593675 @default.
- W4297152057 cites W2034628356 @default.
- W4297152057 cites W2035438947 @default.
- W4297152057 cites W2042517582 @default.
- W4297152057 cites W2060921624 @default.
- W4297152057 cites W2064189581 @default.
- W4297152057 cites W2071625344 @default.
- W4297152057 cites W2075949054 @default.
- W4297152057 cites W2077980038 @default.
- W4297152057 cites W2084429940 @default.
- W4297152057 cites W2084642972 @default.
- W4297152057 cites W2087898864 @default.
- W4297152057 cites W2092137831 @default.
- W4297152057 cites W2092351557 @default.
- W4297152057 cites W2094442885 @default.
- W4297152057 cites W2101623580 @default.
- W4297152057 cites W2104858895 @default.
- W4297152057 cites W2105005227 @default.
- W4297152057 cites W2106417311 @default.
- W4297152057 cites W2106956101 @default.
- W4297152057 cites W2117064875 @default.
- W4297152057 cites W2118328848 @default.
- W4297152057 cites W2122381799 @default.
- W4297152057 cites W2122786779 @default.
- W4297152057 cites W2127118596 @default.
- W4297152057 cites W2133247286 @default.
- W4297152057 cites W2133933998 @default.
- W4297152057 cites W2144625195 @default.
- W4297152057 cites W2146679277 @default.
- W4297152057 cites W2147839365 @default.
- W4297152057 cites W2151113201 @default.
- W4297152057 cites W2151365953 @default.
- W4297152057 cites W2152482417 @default.
- W4297152057 cites W2153577321 @default.
- W4297152057 cites W2157392897 @default.
- W4297152057 cites W2160096583 @default.
- W4297152057 cites W2162598207 @default.
- W4297152057 cites W2163851162 @default.
- W4297152057 cites W2168633587 @default.
- W4297152057 cites W2281407436 @default.
- W4297152057 cites W2301050748 @default.
- W4297152057 cites W230555665 @default.
- W4297152057 cites W2344801155 @default.
- W4297152057 cites W2353739181 @default.
- W4297152057 cites W2362569215 @default.
- W4297152057 cites W2407772516 @default.
- W4297152057 cites W2486947741 @default.
- W4297152057 cites W2518473846 @default.
- W4297152057 cites W2522462291 @default.
- W4297152057 cites W2576494997 @default.
- W4297152057 cites W2577590554 @default.
- W4297152057 cites W2620300258 @default.
- W4297152057 cites W2735864825 @default.
- W4297152057 cites W2735995639 @default.
- W4297152057 cites W2755269200 @default.
- W4297152057 cites W2765527199 @default.
- W4297152057 cites W2771581566 @default.
- W4297152057 cites W2788267443 @default.
- W4297152057 cites W2794237666 @default.
- W4297152057 cites W2810607235 @default.
- W4297152057 cites W2885628182 @default.
- W4297152057 cites W2889849786 @default.
- W4297152057 cites W2890801208 @default.
- W4297152057 cites W2890861406 @default.
- W4297152057 cites W2891421390 @default.
- W4297152057 cites W2897889469 @default.