Alin Stefanescu | University of Bucharest (original) (raw)

Uploads

Papers by Alin Stefanescu

Research paper thumbnail of Towards Search-Based Testing for Event-B Models

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Model Learning and Test Generation Using Cover Automata

The Computer Journal, May 9, 2014

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Where does model-driven engineering help? Experiences from three industrial cases

Software and Systems Modeling, Oct 26, 2011

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Automated game testing using computer vision methods

Video game development is a growing industry nowadays with high revenues. However, even if there ... more Video game development is a growing industry nowadays with high revenues. However, even if there are many resources invested in the software development process, many games still contain bugs or performance issues that affect the user experience. This paper presents ideas on how computer vision methods can be used to automate the process of game testing. The goal is to replace the parts of the testing process that require human users (testers) with machines as much as possible, in order to reduce costs and perform more tests in less time by scaling with hardware resources. The focus is on solving existing real-world problems that have emerged from several discussions with industry partners. We base our methods on previous work in this area using intelligent agents playing video games and deep learning methods that interpret feedback from their actions based on visual output. The paper proposes several methods and a set of open-source tools, independent of the operating system or deployment platform, to evaluate the efficiency of the presented methods.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Test Data Generation for Event-B Models Using Genetic Algorithms

Springer eBooks, 2011

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Model Learning and Test Generation for Event-B Decomposition

Springer eBooks, 2012

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Message choreography modeling

Software and Systems Modeling, Sep 9, 2012

Service-based applications are based on modern architectures that require careful design of inter... more Service-based applications are based on modern architectures that require careful design of interfaces and protocols to allow smooth integration of service components. These design artifacts are not only useful for implementation, but could also be used for the derivation of integration tests. In order to be applied in these different activities of the development process, they have to conform to existing requirements and other specifications at different architectural levels. In addition, their internal consistency has to be ensured. In this paper, we present an approach to service integration based on a domain-specific language for service choreographies. We first explain the motivation for our work by defining the industrial context that led to the definition of a domain-specific choreography language, called message choreography modeling (MCM). We then provide syntax and semantics for MCM, together with suitable methods for ensuring its consistency. Finally, we report on our experience in applying the described language in practice.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Towards automated testing of RPA implementations

Robotic Process Automation (RPA) is a technology that has grown tremendously in the last years, d... more Robotic Process Automation (RPA) is a technology that has grown tremendously in the last years, due to its usability in the area of process automation. An essential part of any software development process is quality assurance, so testing will be very important for RPA processes. However, the classical software techniques are not always suitable for the RPA software robots due to the mix of the graphical description of the robots and their implementations. In this short paper, we describe the state of the practice for testing of software robots and propose some ideas of test automation using model-based testing.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Complexity Results for Checking Distributed Implementability

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Using the UML Testing Profile for Enterprise Service Choreographies

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Enhancing Test Driven Development with Model Based Testing and Performance Analysis

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Analysis of uPort Open, an Identity Management Blockchain-Based Solution

Lecture Notes in Computer Science, 2020

Recently, academics and professionals proposed a substantial number of identity management soluti... more Recently, academics and professionals proposed a substantial number of identity management solutions based on blockchain technology. Among them, uPort appeared promising, being considered for both personal and administrative operations. This paper analyzes the open-source version uPort Open in terms of risk delegation and private key recovery of the mobile application, smart contract security of the uPort identity registry, and usage and on-chain transaction analytics.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Viewpoints for modeling choreographies in service-oriented architectures

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Traffic Light Control using Reinforcement Learning: A Survey and an Open Source Implementation

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Advancing Security and Data Protection for Smart Home Systems through Blockchain Technologies

Proceedings of the 17th International Conference on Software Technologies

Bookmarks Related papers MentionsView impact

Research paper thumbnail of RiverGame - a game testing tool using artificial intelligence

2022 IEEE Conference on Software Testing, Verification and Validation (ICST)

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Identity Management on Blockchain - Privacy and Security Aspects

ArXiv, 2020

In the last years, identity management solutions on blockchain were proposed as a possible soluti... more In the last years, identity management solutions on blockchain were proposed as a possible solution to the digital identity management problem. However, they are still at an early stage and further research needs to be done to conclude whether identity systems could benefit from the use of blockchain or not. Motivated by this, we investigate identity management solutions on blockchain intending to give the reader an overview of the current status and provide a better understanding of the pros and cons of using such solutions. We conduct an analysis on ten of the most known implementations, with a focus on privacy and security aspects. Finally, we identify existing challenges and give new directions for research.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Modelling and Analysis of E. coli Respiratory Chain

Springer eBooks, Dec 18, 2013

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Automatic Fuzz Testing and Tuning Tools for Software Blueprints

Proceedings of the 18th International Conference on Software Technologies

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Enhancing the security of gaming transactions using blockchain technology

37th IEEE/ACM International Conference on Automated Software Engineering

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Towards Search-Based Testing for Event-B Models

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Model Learning and Test Generation Using Cover Automata

The Computer Journal, May 9, 2014

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Where does model-driven engineering help? Experiences from three industrial cases

Software and Systems Modeling, Oct 26, 2011

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Automated game testing using computer vision methods

Video game development is a growing industry nowadays with high revenues. However, even if there ... more Video game development is a growing industry nowadays with high revenues. However, even if there are many resources invested in the software development process, many games still contain bugs or performance issues that affect the user experience. This paper presents ideas on how computer vision methods can be used to automate the process of game testing. The goal is to replace the parts of the testing process that require human users (testers) with machines as much as possible, in order to reduce costs and perform more tests in less time by scaling with hardware resources. The focus is on solving existing real-world problems that have emerged from several discussions with industry partners. We base our methods on previous work in this area using intelligent agents playing video games and deep learning methods that interpret feedback from their actions based on visual output. The paper proposes several methods and a set of open-source tools, independent of the operating system or deployment platform, to evaluate the efficiency of the presented methods.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Test Data Generation for Event-B Models Using Genetic Algorithms

Springer eBooks, 2011

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Model Learning and Test Generation for Event-B Decomposition

Springer eBooks, 2012

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Message choreography modeling

Software and Systems Modeling, Sep 9, 2012

Service-based applications are based on modern architectures that require careful design of inter... more Service-based applications are based on modern architectures that require careful design of interfaces and protocols to allow smooth integration of service components. These design artifacts are not only useful for implementation, but could also be used for the derivation of integration tests. In order to be applied in these different activities of the development process, they have to conform to existing requirements and other specifications at different architectural levels. In addition, their internal consistency has to be ensured. In this paper, we present an approach to service integration based on a domain-specific language for service choreographies. We first explain the motivation for our work by defining the industrial context that led to the definition of a domain-specific choreography language, called message choreography modeling (MCM). We then provide syntax and semantics for MCM, together with suitable methods for ensuring its consistency. Finally, we report on our experience in applying the described language in practice.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Towards automated testing of RPA implementations

Robotic Process Automation (RPA) is a technology that has grown tremendously in the last years, d... more Robotic Process Automation (RPA) is a technology that has grown tremendously in the last years, due to its usability in the area of process automation. An essential part of any software development process is quality assurance, so testing will be very important for RPA processes. However, the classical software techniques are not always suitable for the RPA software robots due to the mix of the graphical description of the robots and their implementations. In this short paper, we describe the state of the practice for testing of software robots and propose some ideas of test automation using model-based testing.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Complexity Results for Checking Distributed Implementability

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Using the UML Testing Profile for Enterprise Service Choreographies

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Enhancing Test Driven Development with Model Based Testing and Performance Analysis

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Analysis of uPort Open, an Identity Management Blockchain-Based Solution

Lecture Notes in Computer Science, 2020

Recently, academics and professionals proposed a substantial number of identity management soluti... more Recently, academics and professionals proposed a substantial number of identity management solutions based on blockchain technology. Among them, uPort appeared promising, being considered for both personal and administrative operations. This paper analyzes the open-source version uPort Open in terms of risk delegation and private key recovery of the mobile application, smart contract security of the uPort identity registry, and usage and on-chain transaction analytics.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Viewpoints for modeling choreographies in service-oriented architectures

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Traffic Light Control using Reinforcement Learning: A Survey and an Open Source Implementation

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Advancing Security and Data Protection for Smart Home Systems through Blockchain Technologies

Proceedings of the 17th International Conference on Software Technologies

Bookmarks Related papers MentionsView impact

Research paper thumbnail of RiverGame - a game testing tool using artificial intelligence

2022 IEEE Conference on Software Testing, Verification and Validation (ICST)

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Identity Management on Blockchain - Privacy and Security Aspects

ArXiv, 2020

In the last years, identity management solutions on blockchain were proposed as a possible soluti... more In the last years, identity management solutions on blockchain were proposed as a possible solution to the digital identity management problem. However, they are still at an early stage and further research needs to be done to conclude whether identity systems could benefit from the use of blockchain or not. Motivated by this, we investigate identity management solutions on blockchain intending to give the reader an overview of the current status and provide a better understanding of the pros and cons of using such solutions. We conduct an analysis on ten of the most known implementations, with a focus on privacy and security aspects. Finally, we identify existing challenges and give new directions for research.

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Modelling and Analysis of E. coli Respiratory Chain

Springer eBooks, Dec 18, 2013

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Automatic Fuzz Testing and Tuning Tools for Software Blueprints

Proceedings of the 18th International Conference on Software Technologies

Bookmarks Related papers MentionsView impact

Research paper thumbnail of Enhancing the security of gaming transactions using blockchain technology

37th IEEE/ACM International Conference on Automated Software Engineering

Bookmarks Related papers MentionsView impact