116 results on '"Alin Stefanescu"'
Search Results
2. Adaptive Questionnaire Design Using AI Agents for People Profiling.
3. Unit Test Generation using Large Language Models for Unity Game Development.
4. Conversational Agents for Simulation Applications and Video Games.
5. Blockchain for Artificial Intelligence: An Industry and Literature Survey.
6. Robotic Process Automation for the Gaming Industry.
7. Automatic Fuzz Testing and Tuning Tools for Software Blueprints.
8. RobustCheck: A Python package for black-box robustness assessment of image classifiers.
9. EBLT - Blueprints testing library using fuzz testing.
10. Advancing Security and Data Protection for Smart Home Systems through Blockchain Technologies.
11. Enhancing the security of gaming transactions using blockchain technology.
12. RiverGame - a game testing tool using artificial intelligence.
13. Traffic Light Control using Reinforcement Learning: A Survey and an Open Source Implementation.
14. EvoBA: An Evolution Strategy as a Strong Baseline for Black-Box Adversarial Attacks.
15. Automated game testing using computer vision methods.
16. RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing.
17. RiverConc: An Open-source Concolic Execution Engine for x86 Binaries.
18. Improving UI Test Automation using Robotic Process Automation.
19. Towards automated testing of RPA implementations.
20. Optimizing decision making in concolic execution using reinforcement learning.
21. Analysis of uPort Open, an Identity Management Blockchain-Based Solution.
22. Robustness as Inherent Property of Datapoints.
23. EvoBA: An Evolution Strategy as a Strong Baseline forBlack-Box Adversarial Attacks.
24. A distributed implementation using apache spark of a genetic algorithm applied to test data generation.
25. Identity Management on Blockchain - Privacy and Security Aspects.
26. Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates.
27. RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions.
28. Binary Analysis based on Symbolic Execution and Reversible x86 Instructions.
29. On Distributed and Parameterized Supervisor Synthesis Problems.
30. From TiMo to Event-B: Event-Driven Timed Mobility.
31. Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems.
32. EvoBA: An Evolution Strategy as a Strong Baseline for Black-Box Adversarial Attacks
33. Model Learning and Test Generation Using Cover Automata.
34. Implementing Realistic Asynchronous Automata.
35. Learn and Test for Event-B - A Rodin Plugin.
36. Model Learning and Test Generation for Event-B Decomposition.
37. Remarks on the difficulty of top-down supervisor synthesis.
38. Test Data Generation for Event-B Models Using Genetic Algorithms.
39. Towards Search-Based Testing for Event-B Models.
40. Model-Driven Service Integration Testing - A Case Study.
41. A hierarchical approach to automatic deployment of robotic teams with communication constraints.
42. A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment.
43. Using the UML Testing Profile for Enterprise Service Choreographies.
44. Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces.
45. MBT4Chor: A Model-Based Testing Approach for Service Choreographies.
46. Viewpoints for modeling choreographies in service-oriented architectures.
47. From Kernel P Systems to X-Machines and FLAME.
48. Message choreography modeling - A domain-specific language for consistent enterprise service integration.
49. Precise Steps for Choreography Modeling for SOA Validation and Verification.
50. Test Data Provision for ERP Systems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.