InSPeCT: Iterated local search for solving path conditions

InSPeCT: Iterated local search for solving path conditions

Automated test case generation is attractive as it can reduce developer workload. To generate test cases, many Symbolic Execution approaches first produce Path Conditions (PCs), a set of constraints, and pass them to a Satisfiability Modulo Theories (SMT) solver. Despite numerous prior studies, auto...

Saved in:

書目詳細資料
Main Authors:	CHEN, Fuxiang, GUNAWAN, Aldy, LO, David, KIM, Sunghun
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2019
主題:	Iterated Local search Path condition Automated test case generation Infeasible solutions Computer Sciences Databases and Information Systems Theory and Algorithms
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/4521 https://ink.library.smu.edu.sg/context/sis_research/article/5524/viewcontent/Inspect_CASE_2019_av.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Singapore Management University
語言:	English

相似書籍

Efficient detection and exploitation of infeasible paths for software timing analysis
由: Suhendra, V., et al.
出版: (2013)

Convergence Analysis of an Infeasible Interior Point Algorithm Based on a Regularized Central Path for Linear Complementarity Problems
由: Zhou, G., et al.
出版: (2014)

An iterated local search algorithm for solving the Orienteering Problem with Time Windows
由: GUNAWAN, Aldy, et al.
出版: (2015)

Mining patterns of unsatisfiable constraints to detect infeasible paths
由: DING, Sun, et al.
出版: (2015)

A polynomial-time inexact primal-dual infeasible path-following algorithm for convex quadratic SDP
由: Li, L., et al.
出版: (2014)

INTELLIGENT PATH SEARCHING AND POSE ESTIMATION
由: JIANG RUI
出版: (2019)

ON ITERATIVE LEARNING CONTROL FOR SOLVING NEW CONTROL PROBLEMS
由: LI XUEFANG
出版: (2016)

An iterated local search algorithm for the team orienteering problem with variable profits
由: GUNAWAN, Aldy, et al.
出版: (2018)

Navigational Path Privacy Protection: Navigational Path Privacy Protection
由: LEE, Ken C. K., et al.
出版: (2009)

An improved algorithm for the solution of the regularization path of support vector machine
由: Ong, C.-J., et al.
出版: (2014)

Polynomiality of an inexact infeasible interior point algorithm for semidefinite programming
由: Zhou, G., et al.
出版: (2014)

Iterated local search algorithm for the capacitated team orienteering problem
由: GUNAWAN, Aldy, et al.
出版: (2018)

A new decomposition technique in solving multistage stochastic linear programs by infeasible interior point methods
由: Liu, X., et al.
出版: (2013)

A preliminary path planning algorithm for the last-mile delivery by an unmanned aerial vehicle in urban town areas
由: Zhang, Mingcheng, et al.
出版: (2021)

Incremental path planning using partial map information for mobile robots
由: Lai, X.C., et al.
出版: (2014)

Tool path regeneration for mold design modification
由: Zhang, L.P., et al.
出版: (2014)

On reliability of patch correctness assessment
由: LE, Xuan-Bach D., et al.
出版: (2019)

Optimized tool path generation for fast tool servo diamond turning of micro-structured surfaces
由: Yu, D.P., et al.
出版: (2014)

Non-monotonic generation of knowledge paths for context understanding
由: LO, Pei-chi, et al.
出版: (2024)

An iterative scheme for solving nonlinear two point boundary value problems
由: Qu, R., et al.
出版: (2014)

Adaptive and iterative list decoding
由: CAI FENG
出版: (2010)

On approximate Picard's iterates for multipoint boundary value problems
由: Agarwal, R.P., et al.
出版: (2014)

Analysis of multilayer planar circuits by a hybrid method
由: Liu, E.-X., et al.
出版: (2014)

Mining iterative generators and representative rules for software specification discovery
由: Lo, D., et al.
出版: (2013)

Preconditioners for iterative solutions of large-scale linear systems arising from Biot's consolidation equations
由: CHEN XI
出版: (2010)

An MINLP Formulation for Multi-UAV Cooperative Search Path Planning Problem
由: ZHANG YIFENG
出版: (2019)

Efficient mining of iterative patterns for software specification discovery
由: Lo, D., et al.
出版: (2013)

Computer-aided mould design modification and tool path regeneration for product change
由: ZHANG LIPING
出版: (2010)

A composite B-spline method for cutter path generation on free-form surfaces
由: Taosheng, Z., et al.
出版: (2014)

An inexact primal-dual path following algorithm for convex quadratic SDP
由: Toh, K.-C.
出版: (2014)

Infeasible potential reduction algorithms for semidefinite programming
由: Zhao, X.-Y., et al.
出版: (2014)

Application of Feynman path integration to the ground state of plasmaron
由: Alongkorn Khudwilat
出版: (2009)

Application of Feynman path integration to the ground state of plasmaron
由: Alongkorn Khudwilat
出版: (2002)

Automatic tool-path generation in 5-axis finish cut with multiple cutters
由: Li, H.Y., et al.
出版: (2014)

Mining iterative generators and representative rules for software specification discovery
由: LO, David, et al.
出版: (2011)

Monotone Methods for Solving a Boundary Value Problem of Second Order Discrete System
由: Wang, Y.-M., et al.
出版: (2014)

Cutter accessibility map and its application for 5-axis milling tool-path generation
由: Li, L.L., et al.
出版: (2014)

Learning to iteratively solve routing problems with dual-aspect collaborative transformer
由: MA, Yining, et al.
出版: (2021)

Well-tuned algorithms for the team orienteering problem with time windows
由: GUNAWAN, Aldy, et al.
出版: (2017)

Modified iterative-learning-control-based ramp metering strategies for freeway traffic control with iteration-dependent factors
由: Hou, Z., et al.
出版: (2014)