Constraint-based automatic symmetry detection

Constraint-based automatic symmetry detection

We present an automatic approach to detecting symmetry relations for general concurrent models. Despite the success of symmetry reduction in mitigating state explosion problem, one essential step towards its soundness and effectiveness, i.e., how to discover sufficient symmetries with least human ef...

Saved in:

書目詳細資料
Main Authors:	ZHANG, Shao Jie, SUN, Jun, SUN, Chengnian, LIU, Yang, MA, Junwei, DONG, Jin Song
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2013
主題:	Software Engineering
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/5005 https://ink.library.smu.edu.sg/context/sis_research/article/6008/viewcontent/Constraint_based_Automatic_Symmetry_Detection.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Constraint-based automatic symmetry detection
由: Zhang, S.J., et al.
出版: (2014)

Automatic early defects detection in use case documents
由: LIU, Shuang, et al.
出版: (2014)

Automatically partition software into least privilege components using dynamic data dependency analysis
由: WU, Yongzheng, et al.
出版: (2013)

AUTHSCAN: Automatic extraction of web authentication protocols from implementations
由: BAI, Guangdong, et al.
出版: (2013)

An initial study of automatic curb ramp detection with crowdsourced verification using Google street view images
由: Kotaro HARA,, et al.
出版: (2013)

Regular symmetry patterns
由: LIN, Anthony W., et al.
出版: (2016)

Type and interval aware array constraint solving for symbolic execution
由: SHUAI, Ziqi, et al.
出版: (2021)

Partial solution based constraint solving cache in symbolic execution
由: SHUAI, Ziqi, et al.
出版: (2024)

Information Retrieval Based Nearest Neighbor Classification for Fine-Grained Bug Severity Prediction
由: TIAN, Yuan, et al.
出版: (2012)

Automatic compositional verification of timed systems
由: LIN, Shang-Wei, et al.
出版: (2012)

TzuYu: Learning stateful typestates
由: XIAO, Hao, et al.
出版: (2013)

PAT 3: An extensible architecture for building multi-domain model checkers
由: LIU, Yang, et al.
出版: (2011)

Bounded model checking of compositional processes
由: SUN, Jun, et al.
出版: (2008)

Automatic generation of provably correct embedded systems
由: LIN, Shang-Wei, et al.
出版: (2012)

Model-based methods for linking web service choreography and orchestration
由: SUN, Jun, et al.
出版: (2010)

Neural network semantic backdoor detection and mitigation: A causality-based approach
由: SUN, Bing, et al.
出版: (2024)

Improving model checking stateful timed CSP with non-zenoness through clock-symmetry reduction
由: SI, Yuanjie, et al.
出版: (2013)

A formal specification and verification framework for timed security protocols
由: LI, Li, et al.
出版: (2018)

Synthesis of distributed processes from scenario-based specifications
由: SUN, Jun, et al.
出版: (2005)

Verifying linearizability via optimized refinement checking
由: Dong, Jin Song, et al.
出版: (2013)

Formal verification of scalable nonzero indicators
由: SUN, Jun, et al.
出版: (2009)

DRONE: Predicting Priority of Reported Bugs by Multi-factor Analysis
由: TIAN, Yuan, et al.
出版: (2013)

Improved Duplicate Bug Report Identification
由: TIAN, Yuan, et al.
出版: (2012)

Improved reachability analysis in DTMC via divide and conquer
由: SONG, Songzheng, et al.
出版: (2013)

Model checking software architecture design
由: ZHANG, Jiexin, et al.
出版: (2012)

Symbolic analysis of an electric vehicle charging protocol
由: LI, Li, et al.
出版: (2014)

A model checking framework for hierarchical systems.
由: NGUYEN, Truong Khanh, et al.
出版: (2011)

Search-driven string constraint solving for vulnerability detection
由: THOME, Julian, et al.
出版: (2017)

On combining state space reductions with global fairness assumptions
由: ZHANG, Shao Jie, et al.
出版: (2011)

Design synthesis from interaction and state-based specifications
由: SUN, Jun, et al.
出版: (2006)

ACAV: A framework for automatic causality analysis in autonomous vehicle accident recordings
由: SUN, Huijia, et al.
出版: (2024)

Feedback-based debugging
由: LIN, Yun, et al.
出版: (2017)

Complexity of the soundness problem of workflow nets
由: LIU, Guan Jun, et al.
出版: (2014)

Towards expressive specification and efficient model checking
由: DONG, Jin Song, et al.
出版: (2009)

Event and strategy analytics
由: DONG, Jin Song, et al.
出版: (2015)

Attack as detection: Using adversarial attack methods to detect abnormal examples
由: ZHAO, Zhe, et al.
出版: (2024)

Verifying linearizability via optimized refinement checking
由: LIU, Yang, et al.
出版: (2013)

Spin photovoltaic effect in antiferromagnetic materials: Mechanisms, symmetry constraints, and recent progress
由: Xiao, Rui-Chun, et al.
出版: (2023)

Model checking approach to automated planning
由: LI, Yi, et al.
出版: (2014)

Integrating specification and programs for system modeling and verification
由: SUN, Jun, et al.
出版: (2009)