( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Coverage Based Test-Case Generation Using Model Checkers.

, и . ECBS, стр. 83-. IEEE Computer Society, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Per-Erik Wingren

Per-Erik Wolff

Per-Erik Forssén

Mats Paulsson

Mats Noges

 

Другие публикации лиц с тем же именем

Auto-generating Test Sequences Using Model Checkers: A Case Study., , , , и . FATES, том 2931 из Lecture Notes in Computer Science, стр. 42-59. Springer, (2003)Inductive Validity Cores., , , и . IEEE Trans. Software Eng., 47 (2): 279-299 (2021)Specification-Based Prototyping for Embedded Systems., , и . ESEC / SIGSOFT FSE, том 1687 из Lecture Notes in Computer Science, стр. 163-179. Springer, (1999)Model-Based Testing: Challenges Ahead.. COMPSAC (1), стр. 330. IEEE Computer Society, (2005)Architectural Modeling and Analysis for Safety Engineering., , , и . IMBSA, том 10437 из Lecture Notes in Computer Science, стр. 97-111. Springer, (2017)Coverage Based Test-Case Generation Using Model Checkers., и . ECBS, стр. 83-. IEEE Computer Society, (2001)On the Advantages of Approximate vs. Complete Verification: Bigger Models, Faster, Less Memory, Usually Accurate., , , и . SEW, стр. 75. IEEE Computer Society, (2003)Using PVS to analyze hierarchical state-based requirements for completeness and consistency., и . HASE, стр. 252-262. IEEE Computer Society, (1996)Verifying Communication Constraints in RSML Specifications.. HASE, стр. 56-63. IEEE Computer Society, (1997)Trace Queries for Safety Requirements in High Assurance Systems., , , , и . REFSQ, том 7195 из Lecture Notes in Computer Science, стр. 179-193. Springer, (2012)