×

找到34份文件（结果1-34）

最新的 引文 关联
简·哈尔特曼;海克·卫尔海姆

过近似和欠近似软件分析之间的信息交换。 （英语） Zbl 1525.68026号

Schlingloff，Bernd-Holger（编辑）等人，《软件工程和形式化方法》。第20届国际会议，SEFM 2022，德国柏林，2022年9月26日至30日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13550, 37-54 (2022).
MSC公司：68号30 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Haltermann}和\textit{H.Wehrheim}，莱克特。票据计算。科学。13550，37-54（2022；Zbl 1525.68026）
全文： DOI程序
安德烈亚斯·费尔纳;托尔斯滕·塔拉赫;乔治·威森巴赫

有限素数事件结构的语言包含。 （英语） Zbl 07228513号

Beyer，Dirk（编辑）等人，《验证、模型检查和抽象解释》。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11990, 314-336 (2020).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Fellner}等人，Lect。票据计算。科学。11990、314--336（2020；Zbl 07228513）
全文： DOI程序 arXiv公司
伯恩哈德·艾切尼格（Bernhard K.Aichernig）。

代数语义、指称语义和操作语义的测试视角。 （英语） Zbl 07168632号

Ribeiro，Pedro（编辑）等人，统一编程理论。2019年10月8日，在托尼·霍尔85岁生日之际，在葡萄牙波尔图举行了第七届UTP 2019国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11885, 22-38 (2019).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.K.Aichernig}，莱克特。票据计算。科学。11885，22-38（2019；Zbl 07168632）
全文： DOI程序
拉斐尔·卡巴列罗;黑山，曼努埃尔;赫伯特·库欣;文森特·冯·霍夫

使用自动测试用例生成检查Java断言。 （英语） Zbl 1473.68036号

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。9527, 221-226 (2015).
MSC公司：68甲15
PDF格式BibTeX公司 XML格式引用
\textit{R.Caballero}等人，Lect。票据计算。科学。9527、221--226（2015；Zbl 1473.68036）
全文： DOI程序
佩什切南科，V.S。;A.A.古巴。;舒什帕诺夫，K.I。

混合具体符号谓词变换器。 （英语） Zbl 1289.68012号

可见。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2013年第2期，89-94（2013）.
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit｛V.S.Peshchanenko｝等人，《视觉》。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2013，第2号，第89-94条（2013；Zbl 1289.68012）
何塞·米盖尔·罗哈斯;米盖尔·戈梅斯·扎马洛亚

约束逻辑编程中引导测试用例生成的框架。 （英语） Zbl 1394.68056号

Albert，Elvira（编辑），基于逻辑的程序合成和转换。第22届国际研讨会，2012年LOPSTR，比利时鲁汶，2012年9月18-20日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-38196-6/pbk）。计算机科学课堂讲稿7844176-193（2013）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Rojas}和\textit{M.Gómez-Zamalloa}，莱克特。票据计算。科学。7844、176--193（2013；Zbl 1394.68056）
全文： DOI程序
谢里什·阿斯塔纳;索拉巴·特里帕蒂;桑迪普·库马尔·辛格

一种使用类图和序列图生成测试用例的新方法。 （英语） Zbl 1213.68130号

Ranka，Sanjay（编辑）等人，《当代计算》。2010年8月9日至11日，第三届国际会议，IC3 2010，印度诺伊达。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-14824-8/pbk；978-3-442-14825-5/电子书）。《计算机与信息科学通信》95，155-167（2010）。
MSC公司：68米15 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{S.Asthana}等人，Commun。计算。信息科学。95、155--167（2010年；Zbl 1213.68130）
全文： DOI程序
马赫什·谢洛尔;拉杰夫·库马尔

基于混合遗传算法的序列图测试用例生成。 （英语） Zbl 1213.68688号

Ranka，Sanjay（编辑）等人，《当代计算》。2010年8月9日至11日，第三届国际会议，IC3 2010，印度诺伊达。柏林：施普林格出版社（ISBN 978-3-642-14833-0/pbk；978-3-662-14834-7/电子书）。《计算机与信息科学通信》94，53-63（2010）。
MSC公司：68周05 68T05年
PDF格式BibTeX公司 XML格式引用
\textit{M.Shirole}和\textit{R.Kumar}，Commun。计算。信息科学。94、53-63（2010年；Zbl 1213.68688）
全文： DOI程序
阿希姆·D·布鲁克。;沃尔夫，伯克哈特

使用Hol-TestGen和应用程序到防火墙测试生成测试序列。 （英语） Zbl 1196.68043号

古瑞维奇、尤里（编辑）等，《测试与证明》。2007年2月12日至13日在瑞士苏黎世举行的TAP 2007第一届国际会议。修订论文。柏林：施普林格出版社（ISBN 978-3-540-73769-8/pbk）。计算机科学课堂讲稿4454149-168（2007）。
MSC公司：68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.D.Brucker}和\textit{B.Wolff}，莱克特。票据计算。科学。4454、149--168（2007年；Zbl 1196.68043）
全文： DOI程序
丹、李;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。

结合代数和基于模型的测试用例生成。 （英语） Zbl 1108.68423号

Liu，Zhiming（编辑）等人，《计算的理论方面——ICTAC 2004》。第一届国际学术讨论会，中国贵阳，2004年9月20日至24日。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-25304-1/pbk）。《计算机科学讲义》3407、250-264（2005）。
MSC公司：68N99型
PDF格式BibTeX公司 XML格式引用
\textit{L.Dan}和\textit{B.K.Aichernig}，莱克特。票据计算。科学。3407250--264（2005；Zbl 1108.68423）
全文： DOI程序
西里尔·阿尔托;霍华德·巴林格;艾伦·戈德堡;克劳斯·哈维隆德;萨尔夫拉兹·库希德;洛瑞，迈克;科琳娜·帕萨雷努;格里高·罗什乌;Koushik森;威廉·维瑟;华盛顿，里奇

结合测试用例生成和运行时验证。 （英语） Zbl 1080.68062号

西奥。计算。科学。 336，编号2-3209-234（2005）.
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Artho｝等人，Theor。计算。科学。336，编号2--3，209--234（2005；Zbl 1080.68062）
全文： DOI程序
圭多·威梅尔;简·朱尔延斯

使用突变的安全关键系统的基于规范的测试生成。 （英语） Zbl 1015.68900号

George，Chris（编辑）等，《形式方法与软件工程》，第四届形式工程方法国际会议，2002年10月21日至25日，中国上海。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2495, 471-482 (2002).
MSC公司：68单位99 68N99型 60年第68季度 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{G.Wimmel}和\textit{J.Jurjens}，莱克特。票据计算。科学。2495471--482（2002年；Zbl 1015.68900）
全文： 链接
舒马赫（Günter Schumacher）;阿明·班特

使用区间算法自动生成测试用例。 （英语） Zbl 1394.65180号

Krämer，Walter（编辑）等人，《科学计算，验证数值，区间方法》，德国卡尔斯鲁厄，2000年9月19日至22日。纽约州纽约市：施普林格出版社（ISBN 978-0-306-46706-6/hbk；978-1-4757-6484-0/电子书）。81-87 (2001).
MSC公司：6504年 65克30
PDF格式BibTeX公司 XML格式引用
\textit{G.Schumacher}和\textit{A.Bantle}，in：科学计算，验证数值，区间方法，德国卡尔斯鲁厄，2000年9月19-22日。纽约州纽约市：斯普林格。81——87（2001年；Zbl 1394.65180）
全文： DOI程序
Doche，M.博士。;游标-穆尼尔，I。;F.科登。

电气飞行控制系统规范和验证的模块化方法。 （英语） Zbl 0977.68850号

Oliveira，JoséNuno（编辑）等，FME 2001：提高软件生产率的形式化方法。欧洲正式方法国际研讨会，德国柏林，2001年3月12日至16日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。2021, 590-610 (2001).
MSC公司：68单位99 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{M.Doche}等人，Lect。票据计算。科学。2021年，590--610（2001年；Zbl 0977.68850）
全文： 链接
是的，雷蒙德·T。（编辑）

CASE技术。系统集成杂志特刊。摘自《系统集成杂志》，第1期，第3-4期（1991年）。 （英语） Zbl 0811.68051号

Dordrecht:Kluwer学术出版社集团。第147页（1992年）。
MSC公司：68-06 00B15号机组 68岁20岁 68立方英尺 68层35
PDF格式BibTeX公司 XML格式引用
\textit{R.T.Yeh}（编辑），CASE技术。系统集成杂志特刊。摘自《系统集成杂志》，第1期，第3-4期（1991年）。多德雷赫特：Kluwer学术出版社集团（1992年；Zbl 0811.68051）
M.C.金。;Samuel T.Chanson。;孙悟空。

基于形式规范的协议跟踪分析。 （英语） Zbl 0765.68012号

形式描述技术，IV，Proc。IFIP TC6/WG6第四届国际会议，悉尼/澳大利亚，1991，393-408（1992）。
MSC公司：68M10个 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{M.C.Kim}等人，in：形式描述技术，IV.IFIP TC6/WG6.1第四届分布式系统和通信协议形式描述技术国际会议论文集，91年11月19日至22日，澳大利亚悉尼。阿姆斯特丹等：爱思唯尔科学出版社（北荷兰）。393--408（1992年；Zbl 0765.68012）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件