Adversarial Specification Mining

Hong Jin Kang; David Lo

doi:10.1145/3424307

Temporal Specification Mining for IEC 61499 Function Blocks Using Evolutionary Algorithms and Model Checking

2021 IEEE Congress on Evolutionary Computation (CEC) ◽

10.1109/cec45853.2021.9504765 ◽

2021 ◽

Author(s):

Daniil Chivilikhin

Keyword(s):

Model Checking ◽

Evolutionary Algorithms ◽

Specification Mining ◽

Function Blocks ◽

Iec 61499 ◽

Temporal Specification

General past-time linear temporal logic specification mining

CCF Transactions on High Performance Computing ◽

10.1007/s42514-021-00079-4 ◽

2021 ◽

Author(s):

Jianqi Shi ◽

Jiawen Xiong ◽

Yanhong Huang

Keyword(s):

Temporal Logic ◽

Linear Temporal Logic ◽

Specification Mining ◽

Past Time ◽

Time Linear

Achieving Effective Test Suites for Reactive Systems using Specification Mining and Test Suite Reduction Techniques

ACM SIGSOFT Software Engineering Notes ◽

10.1145/2693208.2693226 ◽

2015 ◽

Vol 40 (1) ◽

pp. 1-8 ◽

Cited By ~ 5

Author(s):

Prasad Bokil ◽

Padmanabhan Krishnan ◽

R. Venkatesh

Keyword(s):

Reactive Systems ◽

Test Suite ◽

Specification Mining ◽

Reduction Techniques ◽

Test Suite Reduction ◽

Test Suites

Static API Specification Mining

Mining Software Specifications - Chapman & Hall/CRC Data Mining and Knowledge Discovery Series ◽

10.1201/b10928-6 ◽

2011 ◽

pp. 113-158

Author(s):

Mithun Acharya ◽

Tao Xie

Keyword(s):

Specification Mining

Scenario-based and value-based specification mining: better together

Automated Software Engineering ◽

10.1007/s10515-012-0103-x ◽

2012 ◽

Vol 19 (4) ◽

pp. 423-458 ◽

Cited By ~ 25

Author(s):

David Lo ◽

Shahar Maoz

Keyword(s):

Specification Mining

Finding related events for specification mining

2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ◽

10.1109/issrew.2013.6688847 ◽

2013 ◽

Author(s):

Ziying Dai ◽

Xiaoguang Mao ◽

Liqian Chen ◽

Yan Lei ◽

Yi Zhang

Keyword(s):

Specification Mining

Mining Past-Time Temporal Rules

Advances in Computational Intelligence and Robotics - Artificial Intelligence Applications for Improved Software Engineering Development ◽

10.4018/978-1-60566-758-4.ch013 ◽

2010 ◽

pp. 259-277 ◽

Cited By ~ 1

Author(s):

David Lo ◽

Siau-Cheng Khoo ◽

Chao Liu

Keyword(s):

Instant Messaging ◽

Program Execution ◽

Temporal Expression ◽

Rule Based ◽

Specification Mining ◽

Past Time ◽

Execution Traces ◽

Sequence Of Events ◽

Temporal Expressions ◽

Mining Tools

Specification mining is a process of extracting specifications, often from program execution traces. These specifications can in turn be used to aid program understanding, monitoring and verification. There are a number of dynamic-analysis-based specification mining tools in the literature, however none so far extract past time temporal expressions in the form of rules stating: “whenever a series of events occur, previously another series of events happened before”. Rules of this format are commonly found in practice and useful for various purposes. Most rule-based specification mining tools only mine future-time temporal expression. Many past-time temporal rules like “whenever a resource is used, it was allocated before” are asymmetric as the other direction does not holds. Hence, there is a need to mine past-time temporal rules. In this chapter, the authors describe an approach to mine significant rules of the above format occurring above a certain statistical thresholds from program execution traces. The approach start from a set of traces, each being a sequence of events (i.e., method invocations) and resulting in a set of significant rules obeying minimum thresholds of support and confidence. A rule compaction mechanism is employed to reduce the number of reported rules significantly. Experiments on traces of JBoss Application Server and Jeti instant messaging application shows the utility of our approach in inferring interesting past-time temporal rules.