佩特拉·范登博斯
人员信息
优化列表
2020年-今天
2023 [第12条] 西蒙·布利乌兹 , 佩特拉·范登博斯 , 玛丽克·赫斯曼 , 罗伯特·鲁本斯 , 拉里萨·萨芬娜 :
JavaBIP符合VerCors:走向Java并发软件系统的安全。 法国 2023 : 143-150 [第11条] 佩特拉·范登博斯 , 宋世宗 :
VeyMont:并行化已验证程序而不是验证并行程序。 FM公司 2023 : 321-339 [第10条] 佩特拉·范登博斯 , 玛丽埃尔·斯托琳加 :
在朋友的帮助下:通过小丑动作的半合作游戏。 复地 2023 : 155-172 [c9] 坦纳兹·扎梅尼 , 佩特拉·范登博斯 , 简·特雷特曼 , 约翰·福德勒 , 阿伦德·伦辛克 :
从BDD场景到测试用例生成。 ICSTW公司 2023 : 36-44 【c8】 哼,莫拉 , 佩特拉·范登博斯 :
从用户故事到端到端Web测试。 ICSTW公司 2023 : 140-148 [i2] 佩特拉·范登博斯 , 玛丽埃尔·斯托琳加 :
在朋友的帮助下:通过小丑动作进行半合作游戏。 CoRR公司 abs/2304.13417 ( 2023 ) 2022 【c7】 佩特拉·范登博斯 , 玛丽克·赫斯曼 :
测试和程序验证的集成——一份立场文件。 从过程代数到时间自动机到模型学习的旅程 2022 : 524-538 【c6】 宋世宗 , 佩特拉·范登博斯 :
编舞的谓词变换器——编舞编程中的先决条件计算。 员工持股计划 2022 : 520-547 [电子1] 尼尔斯·詹森 , 玛丽埃尔·斯托琳加 , 佩特拉·范登博斯 :
从过程代数到时间自动机到模型学习之旅——献给弗里茨·瓦德拉格60岁生日之际的散文。 计算机科学课堂讲稿 13560, 施普林格 2022 ,国际标准图书编号 978-3-031-15628-1 [目录] 2021 [注2] 佩特拉·范登博斯 , Frits W.Vaandrager公司 :
带有输入和输出的标记过渡系统的状态标识。 科学。 计算。 程序。 209 : 102678 ( 2021 )
2010 – 2019
2019 [j1] 佩特拉·范登博斯 , 拉蒙·詹森 , 约书亚·莫尔曼 :
n-IOCO的完整测试套件。 柔和。 资格。 J。 27 ( 2 ) : 563-588 ( 2019 ) 【c5】 佩特拉·范登博斯 , Frits W.Vaandrager公司 :
带输入和输出的标记过渡系统的状态标识。 FACS公司 2019 : 191-212 【c4】 佩特拉·范登博斯 , 简·特雷特曼 :
使用符号转换系统进行基于覆盖的测试。 FM时的TAP 2019 : 64-82 [i1] 佩特拉·范登博斯 , Frits W.Vaandrager公司 :
带输入和输出的标记过渡系统的状态标识。 CoRR公司 abs/1907.11034 ( 2019 ) 2018 【c3】 佩特拉·范登博斯 , 玛丽埃尔·斯托琳加 :
测试人员与错误:通过游戏进行基于模型测试的通用框架。 甘道夫 2018 : 118-132 2017 【c2】 佩特拉·范登博斯 , 拉蒙·詹森 , 约书亚·莫尔曼 :
n-IOCO的完整测试套件。 信息和通信技术支持系统 2017 : 91-107 2016 【c1】 佩特拉·范登博斯 , 里克·斯梅特瑟(Rick Smetsers) , Frits W.Vaandrager公司 :
通过基于日志的度量增强自动学习。 国际单项体育联合会 2016 : 295-310