A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
Passive testing of production systems based on model inference
2015
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)
Preserved Fulltext
This framework, designed with the collaboration of our industrial partner Michelin, infers formal models that can be used as specifications to perform offline passive testing. ...
This paper tackles the problem of testing production systems, i.e. systems that run in industrial environments, and that are distributed over several devices and sensors. ...
CONCLUSION This paper presents Autofunk, a fast passive testing framework combining different fields such as model inference, expert systems, and machine learning. ...
doi:10.1109/memcod.2015.7340480
dblp:conf/memocode/DurandS15
fatcat:yxw24anlevfovl2l75eltlvtiy
Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present Autofunk, a fast and scalable framework designed at Michelin to automatically build formal models (Symbolic Transition Systems) based on production messages gathered from production ...
Our approach combines model-driven engineering with rule-based expert systems and human knowledge. ...
In the future, we plan to work on passive testing by applying our framework for different versions of a system and draw conclusions based on the generated models. ...
doi:10.1007/978-3-319-19249-9_36
fatcat:putjw4ncardxhepsv2avx42s6i
Interface protocol inference to aid understanding legacy software components
2020
Journal of Software and Systems Modeling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
In terms of component-based software engineering, it is necessary to completely understand the behavior of components in relation to their interfaces, i.e., their interface protocols, and to preserve this ...
To apply our approach in practice, we present an automated framework for conducting active learning on a large set of components and deriving their interface protocols. ...
The authors would also like to express deep gratitude to Dennis Hendriks and Leonard Lensink for providing support on the design of experiments and implementation, Alexander Serebrenik for advice on results ...
doi:10.1007/s10270-020-00809-2
fatcat:lyb6dujhyrecrj3lzenkqlm2mu
Model Learning and Model-Based Testing
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Domain: test-based learning and model-based testing have been applied to various domains, such as embedded systems, network protocols, and web services. ...
However, other types of model-based testing have also been considered in combination with learning; these include: integration testing, performance testing, and security testing. 3. ...
The insightful comments of Karl Meinke and Neil Walkinshaw on an earlier draft led to improvements and are gratefully acknowledged. The ...
doi:10.1007/978-3-319-96562-8_3
fatcat:qrz24l2twrh5rp7ltpyxo4ooii
Autofunk, a fast and scalable framework for building formal models from production systems
2015
Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems - DEBS '15
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Our framework, called Autofunk and designed with the collaboration of our industrial partner Michelin, combines formal model-driven engineering and expert systems to infer formal models that can be used ...
This paper proposes a model inference framework for production systems distributed over multiple devices exchanging thousands of events. ...
We focus on exact and formal model generation, using expert systems and inference rules to emulate human knowledge, and transition systems to embrace formal tools. ...
doi:10.1145/2675743.2771876
dblp:conf/debs/SalvaD15
fatcat:y2ue6ojwejaojfjajietyreqiy
An Experience Report on Applying Passive Learning in a Large-Scale Payment Company
2017
2017 IEEE International Conference on Software Maintenance and Evolution (ICSME)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Passive learning techniques infer graph models on the behavior of a system from large trace logs. ...
The research community has been dedicating great effort in making passive learning techniques more scalable and ready to use by industry. ...
The goal of passive learning techniques is to infer graph models on the behavior of the system from large trace logs [34] . ...
doi:10.1109/icsme.2017.71
dblp:conf/icsm/WiemanALVD17
fatcat:hyaqqhwpivazlp357aorsz4hua
Bridging the gap between photovoltaics R D and manufacturing with data-driven optimization
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The record-efficiency paradigm is effective in early-stage R&D, but becomes unsuitable for industrial translation, requiring a repetition of the optimization procedure in the industrial setting. ...
This approach is intensive in time and resources, and ignores many relevant factors for industrial production, particularly the need for high reproducibility and high manufacturing yield, and the accompanying ...
Acknowledgements: We
Data availability The data and code used for this work is available in: https://github.com/PV-Lab/Data-Driven-PV ...
arXiv:2004.13599v1
fatcat:jra67wdlyngczka5rjfk7j7lwm
ASimOV: A Framework for Simulation and Optimization of an Embedded AI Accelerator
2021
Micromachines
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
To verify ASimOV, we explore the performance space of k-NN algorithms and generate Verilog HDL code to demonstrate the k-NN accelerator in FPGA. ...
In this paper, we propose the ASimOV framework, which optimizes artificial intelligence algorithms and generates Verilog hardware description language (HDL) code for executing intelligence algorithms in ...
The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results. ...
doi:10.3390/mi12070838
fatcat:zrqer4uyl5gidef5tdywtsdrkq
Active Automata Learning in Practice
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
As systems become ever more complex and development becomes more distributed, inferred models of system behavior become an increasingly valuable asset for understanding and analyzing a system's behavior ...
We predicted four major topics to be addressed in the then near future: efficiency, expressivity of models, bridging the semantic gap between formal languages and analyzed components, and solutions to ...
Walkinshaw uses passively inferred models as a basis for deciding the adequacy of test suites for black-box systems [142] . ...
doi:10.1007/978-3-319-96562-8_5
fatcat:jtpzftrzvzf3tdtbncntfc4s4q
Hybrid test of web applications with webtest
2008
Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - TAV-WEB '08
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This combination helps bridging the gap towards model based testing also for legacy systems. ...
In this paper, we present hybrid testing, a method that combines replay-testing (static testing) with automata learning techniques that generate models of black box systems (dynamic testing). ...
In hybrid testing, we use the jABC to capture runnable test cases as models, and to combine them by dynamic testing into behavioural models of the web application under consideration. ...
doi:10.1145/1390832.1390833
dblp:conf/issta/RaffeltMSM08
fatcat:hainb6rbxnhfjk6g456nbsprqi
Semi-Supervised Cross-Silo Advertising with Partial Knowledge Transfer
[article]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We identify that: i) there are massive unlabeled overlapped data available in advertising systems, and ii) we can keep a balance between model performance and inference cost by decomposing the federated ...
In this paper, we propose a semi-supervised split distillation framework VFed-SSD to alleviate the two limitations. ...
In the special case of CTR prediction, the passive party also has the same label information so that has the right to access the final model. ...
arXiv:2205.15987v2
fatcat:kvpwbdckuvacfdrso56vbzcbjy
Model Learning: A Survey on Foundation, Tools and Applications
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Model-based testing and formal verification techniques can be employed to enhance the reliability of software systems. ...
This paper also surveys the successful applications of model learning technique in multidisciplinary fields making it promising for testing and verification of realistic systems. ...
Acknowledgement We would like to gratitude Mr. Markus Frohme TU Dortmund for valuable discussions and generous sup- ...
arXiv:1901.01910v1
fatcat:ttfnf3elxfhjvdvtid5tzsmfbm
Scientific inference and experiment in Ecosystem Based Fishery Management, with application to Steller sea lions in the Bering Sea and Western Gulf of Alaska
2010
Marine Policy
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
An example of adaptive management in northwestern Australia shows the strengths and limitations of management experiments and raises the question of how to learn if an experiment is not practicable. ...
With sufficient variation, even if it is not through controlled experiments, scientific inference is possible by combining mechanistic models with statistical methods; the recently proposed paradigm of ...
I thank Keith Sainsbury for general discussions on the topic and Nick Wolf for discussions over the years on the nature of adaptive management in the Bering Sea. ...
doi:10.1016/j.marpol.2010.01.005
fatcat:rwmr4p6qxneqhfrk4kwxnlf2qu
Enabling Automatic Process-Aware Collaboration Support in Software Engineering Projects
[chapter]
2013
Communications in Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
This enables the system to support the users with active and passive information and support collaboration. ...
One problematic aspect is the coordination of and collaboration among the many individuals working in such projects. ...
The holistic combination of all project areas in conjunction with semantic technology also enables the framework to provide intelligent decisions and thus a higher level of automation. ...
doi:10.1007/978-3-642-36177-7_5
fatcat:xyaigemfkren7nomxmbvc3wgjy
Harnessing Commodity Wearable Devices to Capture Learner Engagement
2019
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Next, by leveraging the established theory that links learner activities to learner engagement, the detected learner activities can be used to further infer the learner engagement levels, durations, and ...
With the aim of capturing learner engagement, we propose and advocate the use of commodity wearable devices and their built-in sensors (e.g., accelerometer, gyroscope, and magnetic sensor) to detect the ...
The schools and industry players, espcially in K-12 education, also attempt to provide proper solution to tackle the challenges: • In what ways and to what extent student learning behaviors can be properly ...
doi:10.1109/access.2019.2895874
fatcat:7linnmchwneepie4qz7v6z7kma
« Previous
Showing results 1 — 15 out of 37,823 results