Specification-based test oracles for reactive systems

Proceedings of the 14th international conference on Software engineering - ICSE '92 ◽

10.1145/143062.143100 ◽

1992 ◽

Author(s):

Debra J. Richardson ◽

Stephanie Leif Aha ◽

T. Owen O'Malley

Keyword(s):

Reactive Systems ◽

Download Full-text

Specification-based test oracles for reactive systems

International Conference on Software Engineering ◽

10.1109/icse.1992.753494 ◽

1992 ◽

Author(s):

D.J. Richardson ◽

S.L. Aha ◽

T.O. O'Malley

Keyword(s):

Reactive Systems ◽

Download Full-text

Single and Multi Network ANNs as Test Oracles A Comparison

International Journal of Computer Sciences and Engineering ◽

10.26438/ijcse/v7i1.311315 ◽

2019 ◽

Vol 7 (1) ◽

pp. 311-315

Author(s):

J. Mary Catherine ◽

S. Djodilatchoumy

Keyword(s):

Download Full-text

SOL: A Verifiable Synchronous Language for Reactive Systems

10.21236/ada465328 ◽

2002 ◽

Author(s):

Ramesh Bharadwaj

Keyword(s):

Reactive Systems ◽

Synchronous Language

Download Full-text

Scalable multiple-view analysis of reactive systems via bidirectional model transformations

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering ◽

10.1145/3324884.3416579 ◽

2020 ◽

Author(s):

Christos Tsigkanos ◽

Nianyu Li ◽

Zhi Jin ◽

Zhenjiang Hu ◽

Carlo Ghezzi

Keyword(s):

Reactive Systems ◽

Model Transformations ◽

Download Full-text

Analyzing Event-Based Scheduling in Concurrent Reactive Systems

ACM Transactions on Embedded Computing Systems ◽

10.1145/2783438 ◽

2015 ◽

Vol 14 (4) ◽

pp. 1-27 ◽

Author(s):

Jian-Min Jiang ◽

Huibiao Zhu ◽

Qin Li ◽

Yongxin Zhao ◽

Lin Zhao ◽

...

Keyword(s):

Reactive Systems ◽

Download Full-text

Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development

Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems ◽

10.1145/3365438.3410939 ◽

2020 ◽

Author(s):

Majid Babaei ◽

Mojtaba Bagherzadeh ◽

Juergen Dingel

Keyword(s):

Reactive Systems ◽

Model Driven Development ◽

Model Driven ◽

Execution Traces

Download Full-text

Saturated Semantics for Reactive Systems

21st Annual IEEE Symposium on Logic in Computer Science (LICS'06) ◽

10.1109/lics.2006.46 ◽

2006 ◽

Author(s):

F. Bonchi ◽

B. Konig ◽

U. Montanari

Keyword(s):

Reactive Systems

Download Full-text

Comfortable Modeling of Complex Reactive Systems

Proceedings of the Design Automation & Test in Europe Conference ◽

10.1109/date.2006.243970 ◽

2006 ◽

Author(s):

S. Prochnow ◽

R. von Hanxleden

Keyword(s):

Reactive Systems

Download Full-text

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

Theoretical Computer Science ◽

10.1016/j.tcs.2009.06.010 ◽

2009 ◽

Vol 410 (41) ◽

pp. 4044-4066 ◽

Author(s):

Filippo Bonchi ◽

Ugo Montanari

Keyword(s):

Reactive Systems

Download Full-text

Generation of test oracles using neural network and decision tree model

2014 5th International Conference - Confluence The Next Generation Information Technology Summit (Confluence) ◽

10.1109/confluence.2014.6949311 ◽

2014 ◽

Author(s):

Vineeta ◽

Abhishek Singhal ◽

Abhay Bansal

Keyword(s):

Neural Network ◽

Decision Tree ◽

Decision Tree Model ◽

Download Full-text