( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Auto-generating Test Sequences Using Model Checkers: A Case Study.

, , , , и . FATES, том 2931 из Lecture Notes in Computer Science, стр. 42-59. Springer, (2003)

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)Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints., , и . Requir. Eng., 7 (4): 225-242 (2002)Inductive Validity Cores., , , и . IEEE Trans. Software Eng., 47 (2): 279-299 (2021)The Risks of Coverage-Directed Test Case Generation., , , и . IEEE Trans. Software Eng., 41 (8): 803-819 (2015)Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors., , и . IEEE Trans. Software Eng., 43 (6): 531-555 (2017)Specification-Based Prototyping for Embedded Systems., , и . ESEC / SIGSOFT FSE, том 1687 из Lecture Notes in Computer Science, стр. 163-179. Springer, (1999)Architectural Modeling and Analysis for Safety Engineering., , , и . IMBSA, том 10437 из Lecture Notes in Computer Science, стр. 97-111. Springer, (2017)Model-Based Testing: Challenges Ahead.. COMPSAC (1), стр. 330. IEEE Computer Society, (2005)Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study., , и . J. Univers. Comput. Sci., 6 (7): 731-757 (2000)Your "What" Is My "How": Iteration and Hierarchy in System Design., , , , , и . IEEE Softw., 30 (2): 54-60 (2013)