首页> 外文OA文献 >Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations

【2h】

Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations

机译：合成参数化单元测试以检测对象不变违规

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

AI期刊论文写作 >>

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Christakis Maria; Müller Peter; Wüstholz Valentin;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Unit tests reloaded: parameterized unit testing with symbolic execution [J] . Tillmann N., Schulte W. IEEE Software . 2006,第4期

机译：重新加载单元测试：带符号执行的参数化单元测试
2. AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants [J] . Lu S., Tucek J., Qin F., IEEE Micro . 2007,第1期

机译：AVIO：通过访问交错不变量检测原子性违规
3. AVIO: Detecting Atomicity Violations via Access Interleaving Invariants [J] . Shan Lu, Joseph Tucek, Feng Qin, Computer architecture news . 2006,第5期

机译：AVIO：通过访问交织不变量检测原子性违规
4. Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations [C] . Maria Christakis, Peter Mueller, Valentin Wuestholz International conference on software engineering and formal methods . 2014

机译：合成参数化单元测试以检测对象不变违规
5. A sequential hypothesis testing approach to detecting small, moving objects in image sequences [D] . Blostein, Steven David 1988

机译：一种顺序假设检验方法，用于检测图像序列中的小运动物体
6. Young infants’ reasoning about hidden objects: evidence from violation-of-expectation tasks with test trials only [O] . Su-hua Wang, Renée Baillargeon, Laura Brueckner -1

机译：幼儿对隐藏物体的推理：仅在测试试验中违反预期任务的证据
7. Rostra: A framework for detecting redundant object-oriented unit tests [O] . Tao Xie, Darko Marinov, David Notkin 2004

机译：Rostra：用于检测冗余的面向对象的单元测试的框架

Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations

著录项

引文网络

相似文献

相关主题

期刊订阅