首页>外文会议>IEEE International Conference on Software Testing, Verification and Validation

IEEE International Conference on Software Testing, Verification and Validation

召开年：2017
召开地：Tokyo(JP)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Ariadne: Hybridizing Directed Model Checking and Static Analysis

机译：Ariadne：混合有向模型检查和静态分析
- 作者：Reed Milewicz;Peter Pirkelbauer
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Model checking;
- Instruction sets;
- Tools;
- Computer bugs;
- Instruments;
- Analytical models;
- Java;
2.A Toolkit for Testing Stochastic Simulations against Statistical Oracles

机译：针对统计Oracle测试随机模拟的工具包
- 作者：Matthew Patrick;Ruairi Donnelly;Christopher A. Gilligan
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Stochastic processes;
- Software;
- Data models;
- Testing;
- Predator prey systems;
- Predictive models;
- Time-frequency analysis;
3.CBGA-ES: A Cluster-Based Genetic Algorithm with Elitist Selection for Supporting Multi-Objective Test Optimization

机译：CBGA-ES：基于簇的遗传算法，带有精英选择，可支持多目标测试优化
- 作者：Dipesh Pradhan;Shuai Wang;Shaukat Ali;Tao Yue;Marius Liaaen
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Conferences;
- Software testing;
4.Incremental Deductive Verification for Relational Model Transformations

机译：关系模型转换的增量演绎验证
- 作者：Zheng Cheng;Massimo Tisi
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Contracts;
- Context;
- Semantics;
- Erbium;
- Analytical models;
- Software;
- Computational modeling;
5.Recovering Semantic Traceability Links between APIs and Security Vulnerabilities: An Ontological Modeling Approach

机译：恢复API与安全漏洞之间的语义可追溯性链接：一种本体建模方法
- 作者：Sultan S. Alqahtani;Ellis E. Eghan;Juergen Rilling
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Software;
- Ontologies;
- Security;
- Unified modeling language;
- Databases;
- Semantics;
- Computational modeling;
6.Mining Sandboxes for Linux Containers

机译：挖掘Linux容器的沙箱
- 作者：Zhiyuan Wan;David Lo;Xin Xia;Liang Cai;Shanping Li
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Containers;
- Testing;
- Kernel;
- Linux;
- Cloud computing;
- Monitoring;
- Tools;
7.Statistical Model Checking Meets Property-Based Testing

机译：统计模型检查满足基于属性的测试
- 作者：Bernhard K. Aichernig;Richard Schumi
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Mathematical model;
- Testing;
- Stochastic processes;
- Tools;
- Monte Carlo methods;
- Object oriented modeling;
- Probabilistic logic;
8.Timed k-Tail: Automatic Inference of Timed Automata

机译：定时k尾：定时自动机的自动推断
- 作者：Fabrizio Pastore;Daniela Micucci;Leonardo Mariani
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Clocks;
- Automata;
- Timing;
- Data mining;
- Software systems;
- Monitoring;
- Learning automata;
9.Symbolic Complexity Analysis Using Context-Preserving Histories

机译：使用上下文保存历史的符号复杂性分析
- 作者：Kasper Luckow;Rody Kersten;Corina Păsăreanu
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Complexity theory;
- History;
- Software algorithms;
- Algorithm design and analysis;
- Tools;
- Context;
- Software;
10.Coveringcerts: Combinatorial Methods for X.509 Certificate Testing

机译：Coveringcerts：X.509证书测试的组合方法
- 作者：Kristoffer Kleine;Dimitris E. Simos
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Testing;
- Semantics;
- Protocols;
- Software;
- Libraries;
- Authentication;
11.O!Snap: Cost-Efficient Testing in the Cloud

机译：O！Snap：在云中进行经济高效的测试
- 作者：Alessio Gambi;Alessandra Gorla;Andreas Zeller
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Cloud computing;
- Testing;
- Schedules;
- Image edge detection;
- Virtual machining;
12.Accelerating Test Automation through a Domain Specific Language

机译：通过特定领域的语言加速测试自动化
- 作者：Anurag Dwarakanath;Dipin Era;Aditya Priyadarshi;Neville Dubash;Sanjay Podder
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Automation;
- DSL;
- Tools;
- Selenium;
- Natural languages;
- Java;
- Programming;
13.A Comparative Study of Manual and Automated Testing for Industrial Control Software

机译：工业控制软件手动和自动测试的比较研究
- 作者：Eduard Enoiu;Daniel Sundmark;Adnan Čaušević;Paul Pettersson
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Testing;
- Software;
- Manuals;
- IEC Standards;
- Tools;
- Fault detection;
- Transportation;
14.How Do Assertions Impact Coverage-Based Test-Suite Reduction?

机译：断言如何影响基于覆盖率的测试套件缩减？
- 作者：Junjie Chen;Yanwei Bai;Dan Hao;Lingming Zhang;Lu Zhang;Bing Xie
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Java;
- Loss measurement;
- Software;
- Fault detection;
- Correlation;
- Software testing;
- Error correction codes;
15.Perphecy: Performance Regression Test Selection Made Simple but Effective

机译：观点：性能回归测试的选择变得简单而有效
- 作者：Augusto Born De Oliveira;Sebastian Fischmeister;Amer Diwan;Matthias Hauswirth;Peter F. Sweeney
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Benchmark testing;
- Software;
- Computer bugs;
- Context;
- Pins;
- Reliability;
16.A Selection Method for Black Box Regression Testing with a Statistically Defined Quality Level

机译：具有统计定义的质量水平的黑盒回归测试的选择方法
- 作者：Ibrahim Alagöz;Thomas Herpel;Reinhard German
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Testing;
- Stochastic processes;
- Random variables;
- Reliability;
- Sensitivity;
- Correlation;
- Statistical analysis;
17.Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation

机译：自动机语言对等与基于模型的突变对等的仿真：实证评估
- 作者：Xavier Devroey;Gilles Perrouin;Mike Papadakis;Axel Legay;Pierre-Yves Schobbens;Patrick Heymans
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Automata;
- Computational modeling;
- Tools;
- Adaptation models;
- Electronic mail;
- Analytical models;
- Complexity theory;
18.Assessing and Improving the Mutation Testing Practice of PIT

机译：评估和改进PIT的变异测试实践
- 作者：Thomas Laurent;Mike Papadakis;Marinos Kintis;Christopher Henard;Yves Le Traon;Anthony Ventresque
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Tools;
- Benchmark testing;
- Java;
- Software testing;
- Robustness;
- Syntactics;
19.Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking

机译：使用抽象和有界模型检查的有效的工业级代码安全证明
- 作者：Priyanka Darke;Bharti Chimdyalwar;Avriti Chauhan;R. Venkatesh
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Context;
- Ice;
- Tools;
- Runtime;
- Model checking;
- Scalability;
- Benchmark testing;
20.NuSeen: A Tool Framework for the NuSMV Model Checker

机译：NuSeen：NuSMV模型检查器的工具框架
- 作者：Paolo Arcaini;Angelo Gargantini;Elvinia Riccobene
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Tools;
- Visualization;
- Syntactics;
- Grammar;
- Computational modeling;
- Adaptation models;
- Electronic mail;
21.The Theory of Composite Faults

机译：复合断层理论
- 作者：Rahul Gopinath;Carlos Jensen;Alex Groce
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Couplings;
- Circuit faults;
- Syntactics;
- Semantics;
- Software;
- Fault detection;
- Testing;
22.Generic and Effective Specification of Structural Test Objectives

机译：结构测试目标的通用有效规范
- 作者：Michaël Marcozzi;Mickaël Delahaye;Sébastien Bardin;Nikolai Kosmatov;Virgile Prevosto
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Testing;
- Automation;
- Taxonomy;
- Semantics;
- Tools;
- Encoding;
- Standards;
23.Localizing Faults in SQL Predicates

机译：在SQL谓词中本地化错误
- 作者：Yun Guo;Amihai Motro;Nan Li
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Databases;
- Structured Query Language;
- Debugging;
- Radiation detectors;
- Measurement;
- Tools;
- Software;
24.Prevalence of Single-Fault Fixes and Its Impact on Fault Localization

机译：单故障修复的普遍性及其对故障定位的影响
- 作者：Alexandre Perez;Rui Abreu;Marcelo DAmorim
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Computer bugs;
- Computational modeling;
- Open source software;
- Debugging;
- Java;
- Terminology;
25.Private API Access and Functional Mocking in Automated Unit Test Generation

机译：自动化单元测试生成中的私有API访问和功能模拟
- 作者：Andrea Arcuri;Gordon Fraser;René Just
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Tools;
- Java;
- Search problems;
- Generators;
- Software;
- Software testing;
26.Using Semantic Similarity in Crawling-Based Web Application Testing

机译：在基于爬网的Web应用程序测试中使用语义相似性
- 作者：Jun-Wei Lin;Farn Wang;Paul Chu
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Testing;
- Graphical user interfaces;
- Crawlers;
- Web pages;
- Semantics;
- Manuals;
- Feature extraction;
27.Transferring State-of-the-Art Immutability Analyses: Experimentation Toolbox and Accuracy Benchmark

机译：传输最新的不变性分析：实验工具箱和准确性基准
- 作者：Benjamin Holland;Ganesh Ram Santhanam;Suresh Kothari
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Tools;
- Java;
- Benchmark testing;
- Software;
- Software testing;
- Industries;
- Scalability;
28.NIVAnalyzer: A Tool for Automatically Detecting and Verifying Next-Intent Vulnerabilities in Android Apps

机译：NIVAnalyzer：一种自动检测和验证Android应用中的下一个意图漏洞的工具
- 作者：Junjie Tang;Xingmin Cui;Ziming Zhao;Shanqing Guo;Xinshun Xu;Chengyu Hu;Tao Ban;Bing Mao
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Registers;
- Androids;
- Humanoid robots;
- Electronic mail;
- Target tracking;
- Tools;
- Facebook;
29.FIFA: A Kernel-Level Fault Injection Framework for ARM-Based Embedded Linux System

机译：FIFA：基于ARM的嵌入式Linux系统的内核级故障注入框架
- 作者：Eunjin Jeong;Namgoo Lee;Jinhan Kim;Duseok Kang;Soonhoi Ha
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Hardware;
- Kernel;
- Linux;
- Tools;
- Testing;
- Debugging;
30.Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures

机译：使用Delta调试最大程度地减少并行数据结构的压力测试
- 作者：Jing Xu;Yu Lei;Richard Carver
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Stress;
- Data structures;
- Monitoring;
- Synchronization;
- Testing;
- Java;
- Adaptation models;
31.Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests

机译：Barista：一种记录，编码和运行独立于平台的Android测试的技术
- 作者：Mattia Fazzini;Eduardo Noronha De A. Freitas;Shauvik Roy Choudhary;Alessandro Orso
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Androids;
- Humanoid robots;
- Testing;
- Tools;
- Encoding;
- Operating systems;
- Companies;
32.ATOM: Automatic Maintenance of GUI Test Scripts for Evolving Mobile Applications

机译：ATOM：针对不断发展的移动应用程序的GUI测试脚本的自动维护
- 作者：Xiao Li;Nana Chang;Yan Wang;Haohua Huang;Yu Pei;Linzhang Wang;Xuandong Li
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Graphical user interfaces;
- Maintenance engineering;
- Testing;
- Mobile communication;
- Presses;
- Androids;
- Humanoid robots;
33.Taming Coverage Criteria Heterogeneity with LTest

机译：用LATest适应覆盖标准异质性
- 作者：Michaël Marcozzi;Sébastien Bardin;Mickaël Delahaye;Nikolai Kosmatov;Virgile Prevosto
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Testing;
- Databases;
- Tools;
- Software;
- Scalability;
- Security;
- Automation;
34.Test Design as Code: JCUnit

机译：以代码形式进行测试设计：JCUnit
- 作者：Hiroshi Ukai;Xiao Qu
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Tools;
- Java;
- Software;
- Graphical user interfaces;
- Pipelines;
- Software testing;
35.SAGA Toolbox: Interactive Testing of Guarded Assertions

机译：SAGA工具箱：保护性断言的交互式测试
- 作者：Daniel Flemström;Thomas Gustafsson;Avenir Kobetski
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Roads;
- Ear;
- Testing;
- Delays;
- Vehicles;
- Brakes;
- Documentation;
36.Automated Testing of Definition-Use Data Flow for Multithreaded Programs

机译：自动测试多线程程序的定义使用数据流
- 作者：Xiaodong Zhang;Zijiang Yang;Qinghua Zheng;Pei Liu;Jialiang Chang;Yu Hao;Ting Liu
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Testing;
- Computer bugs;
- Concurrent computing;
- Instruction sets;
- Multithreading;
- Scalability;
- Concrete;
37.IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants

机译：IPA：使用可能的不变量的多线程程序的错误传播分析
- 作者：Abraham Chan;Stefan Winter;Habib Saissi;Karthik Pattabiraman;Neeraj Suri
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Software;
- Testing;
- Hardware;
- Multithreading;
- Robustness;
- Computer bugs;
- Tools;
38.Verifying Concurrent Programs Using Contracts

机译：使用合同验证并发程序
- 作者：Ricardo J. Dias;Carla Ferreira;Jan Fiedor;João M. Lourenço;Aleš Smrcka;Diogo G. Sousa;Tomáš Vojnar
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Contracts;
- Concurrent computing;
- Software;
- Protocols;
- Indexes;
- Libraries;
- Arrays;
39.Are There Any Unit Tests? An Empirical Study on Unit Testing in Open Source Python Projects

机译：有单元测试吗？开源Python项目中单元测试的实证研究
- 作者：Fabian Trautsch;Jens Grabowski
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Software;
- Data collection;
- Data analysis;
- Standards;
- Software testing;
- Programming;
40.TITAN: Test Suite Optimization for Highly Configurable Software

机译：TITAN：针对高度可配置软件的测试套件优化
- 作者：Dusica Marijan;Marius Liaaen;Arnaud Gotlieb;Sagar Sen;Carlo Ieva
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Testing;
- Optimization;
- Software;
- Minimization;
- Tools;
- Fault detection;
- Data models;
41.ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving

机译：ADRENALIN-RV：使用加载时编织的Android运行时验证
- 作者：Haiyang Sun;Andrea Rosà;Omar Javed;Walter Binder
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Androids;
- Humanoid robots;
- Instruments;
- Tools;
- Libraries;
- Runtime;
- Java;
42.Broadcast vs. Unicast Review Technology: Does It Matter?

机译：广播与单播评论技术：重要吗？
- 作者：Foundjem Armstrong;Foutse Khomh;Bram Adams
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Unicast;
- Broadcast technology;
- Electronic mail;
- Switches;
43.JavaScript: The (Un)Covered Parts

机译：JavaScript ：（未覆盖）的零件
- 作者：Amin Milani Fard;Ali Mesbah
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Tools;
- Measurement;
- Testing;
- Libraries;
- Production;
- Browsers;
- Writing;
44.Towards a Testbed for Automotive Cybersecurity

机译：迈向汽车网络安全测试平台
- 作者：Daniel S. Fowler;Madeline Cheah;Siraj Ahmed Shaikh;Jeremy Bryans
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Testing;
- Computer security;
- Automobiles;
- Automotive engineering;
- Ports (Computers);
- Communication system security;
45.How to Test in Sixteen Languages? Automation Support for Localization Testing

机译：如何用十六种语言进行测试？自动化支持本地化测试
- 作者：Rudolf Ramler;Robert Hoschek
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Testing;
- Software;
- Graphical user interfaces;
- Automation;
- Computer bugs;
- Layout;
- Conferences;
46.Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google

机译：验证不断发展的软件系统所需的信息：Google的一项探索性研究
- 作者：Abdullah Al-Nayeem;Krzysztof Ostrowski;Sebastian Pueblas;Christophe Restif;Sai Zhang
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Tools;
- Google;
- Computer bugs;
- Software systems;
- Monitoring;
- Context;
47.Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution

机译：使用符号执行的不保留语义的转换，用于更高覆盖率的测试生成
- 作者：Hayes Converse;Oswaldo Olivo;Sarfraz Khurshid
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Optimization;
- Engines;
- Complexity theory;
- Semantics;
- Concrete;
- Testing;
- Electronic mail;
48.Uncertainty-Driven Black-Box Test Data Generation

机译：不确定性驱动的黑匣子测试数据生成
- 作者：Neil Walkinshaw;Gordon Fraser
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Testing;
- Uncertainty;
- Machine learning algorithms;
- Subspace constraints;
- Data models;
- Software systems;
- Genetic programming;
49.Automated Test Generation and Mutation Testing for Alloy

机译：合金的自动测试生成和突变测试
- 作者：Allison Sullivan;Kaiyuan Wang;Razieh Nokhbeh Zaeem;Sarfraz Khurshid
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Metals;
- Cost accounting;
- Testing;
- Computational modeling;
- Analytical models;
- Tools;
- Adaptation models;
50.Model-Based Testing IoT Communication via Active Automata Learning

机译：通过主动自动机学习进行基于模型的测试物联网通信
- 作者：Martin Tappler;Bernhard K. Aichernig;Roderick Bloem
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Testing;
- Learning automata;
- Protocols;
- Analytical models;
- Standards;
- Approximation algorithms;
- Internet of Things;
51.A Controlled Experiment on Coverage Maximization of Automated Model-Based Software Test Cases in the Automotive Industry

机译：汽车行业基于模型的自动化软件测试用例的覆盖率最大化的受控实验
- 作者：Rashid Darwish;Lynnie Nakyanzi Gwosuta;Richard Torkar
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Tools;
- Software;
- Testing;
- Industries;
- Automotive engineering;
- Prototypes;
- Software algorithms;
52.An Industrial Study of Natural Language Processing Based Test Case Prioritization

机译：基于自然语言处理的测试案例优先级的工业研究
- 作者：Yilin Yang;Xinhai Huang;Xuefei Hao;Zicong Liu;Zhenyu Chen
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Natural language processing;
- Mobile applications;
- Software;
- Software testing;
- Training;
- Dictionaries;
53.Overview of the ICST International Software Testing Contest

机译：ICST国际软件测试竞赛概述
- 作者：Emil Alégroth;Shinsuke Matsuki;Tanja E. J. Vos;Kinji Akemine
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Tools;
- Graphical user interfaces;
- Software testing;
- Automation;
- Conferences;
- Software;
54.Model-Based API Testing of Apache ZooKeeper

机译：Apache ZooKeeper的基于模型的API测试
- 作者：Cyrille Artho;Quentin Gros;Guillaume Rousset;Kazuaki Banzai;Lei Ma;Takashi Kitamura;Masami Hagiya;Yoshinori Tanabe;Mitsuharu Yamamoto
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Servers;
- Testing;
- Electronic mail;
- Computational modeling;
- Computer science;
- Tools;
- Complexity theory;
55.System Testing of Timing Requirements Based on Use Cases and Timed Automata

机译：基于用例和定时自动机的时序需求的系统测试
- 作者：Chunhui Wang;Fabrizio Pastore;Lionel Briand
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Automata;
- Software;
- Timing;
- Unified modeling language;
- Testing;
- Context;
- Clocks;
56.Efficient Incrementalized Runtime Checking of Linear Measures on Lists

机译：清单上线性度量的有效增量式运行时检查
- 作者：Alex Gyori;Pranav Garg;Edgar Pek;P. Madhusudan
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Libraries;
- Runtime;
- Testing;
- Data structures;
- Contracts;
- Production;
- Writing;
57.Behavioral Execution Comparison: Are Tests Representative of Field Behavior?

机译：行为执行比较：测试是否代表现场行为？
- 作者：Qianqian Wang;Yuriy Brun;Alessandro Orso
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Testing;
- Computational modeling;
- Software measurement;
- Software quality;
- Tools;
- Libraries;
58.Automated Random Testing in Multiple Dispatch Languages

机译：多种调度语言的自动随机测试
- 作者：Simon Poulding;Robert Feldt
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Concrete;
- Testing;
- Probabilistic logic;
- Probability distribution;
- Context;
- Software engineering;
- Electronic mail;
59.The Fitness Function for the Job: Search-Based Generation of Test Suites That Detect Real Faults

机译：作业的适应性功能：基于搜索的检测实际故障的测试套件的生成
- 作者：Gregory Gay
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- Testing;
- Software;
- Fault detection;
- Databases;
- Search problems;
- Automation;
- Java;
60.A Search-Based Testing Approach for XML Injection Vulnerabilities in Web Applications

机译：Web应用程序中基于搜索的XML注入漏洞测试方法
- 作者：Sadeeq Jan;Cu D. Nguyen;Andrea Arcuri;Lionel Briand
- 会议名称：《IEEE International Conference on Software Testing, Verification and Validation》 | 2017年
- XML;
- Testing;
- Security;
- Simple object access protocol;
- Service-oriented architecture;
- Databases;