Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Alberto Salmerón"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 180, Iss Proc. MBT 2015, Pp 7-21 (2015)
The behavior of mobile devices is highly non deterministic and barely predictable due to the interaction of the user with its applications. In consequence, analyzing the correctness of applications running on a smartphone involves dealing with the co
Externí odkaz:
https://doaj.org/article/af3888f8d31e4e8b951a96a2e8c70b0d
Publikováno v:
Revista Chilena de Derecho, 2017 May 01. 44(2), 563-574.
Externí odkaz:
https://www.jstor.org/stable/26506053
Publikováno v:
International Journal on Software Tools for Technology Transfer. 20:499-514
This paper presents a decision support system (DSS) based on formal methods for the management of complex river basins in flood scenarios. The DSS is the result of integrating two different DSSs: first, a DSS for dam management that uses the Spin mod
Autor:
María del Mar Prados Gallardo, Laura Panizo, Alberto Salmerón, Ana Rosario Espada, Pedro Merino
Publikováno v:
Software Testing, Verification and Reliability. 29
Publikováno v:
Smart Industry & Smart Education-Proceedings of the 15th International Conference on Remote Engineering and Virtual Instrumentation
Lecture Notes in Networks and Systems
Lecture Notes in Networks and Systems-Smart Industry & Smart Education
Lecture Notes in Networks and Systems ISBN: 9783319956770
REV
Lecture Notes in Networks and Systems
Lecture Notes in Networks and Systems-Smart Industry & Smart Education
Lecture Notes in Networks and Systems ISBN: 9783319956770
REV
As opposed to what other tools in the FIRE community, such as jFed [1], offer to the experimenter, Triangle Portal provides a simplified access to the definition of experiments and can coexist with the current FIRE tools. The way to integrate the Tri
Autor:
Alberto Salmerón, Pedro Merino
Publikováno v:
SIMULATION. 91:3-25
Simulation models of communication protocols are widely used in the field of protocol engineering. Some methods have been proposed to ensure the correctness of these models, or to tune their parameters for performance. However, these aspects have usu
Publikováno v:
ISSRE Workshops
Test Automation Platform©1 (TAP) is a software system that developers can use to test their own hardware or software (or combinations of both). Developers create TAP test plans by combining and configuring individual test steps in a GUI. Developers
Publikováno v:
IM
2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM)
This paper describes PerformNetworks, which is an enhanced test and research facility for cutting edge mobile communications managed by the MORSE group in the University of Malaga. This facility is an evolution, containing key improvements introduced
Publikováno v:
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software -SPIN 2017
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software-SPIN 2017
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
SPIN
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software-SPIN 2017
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
SPIN
The evolution of mobile networks and the increasing number of scenarios for mobile applications requires new approaches to ensure their quality and performance. The TRIANGLE project aims to develop an integrated testing framework that allows the eval
Publikováno v:
Mobile Information Systems, Vol 2017 (2017)
This paper presents the foundations and the real use of a tool to automatically detect anomalies in Internet traffic produced by mobile applications. In particular, our MVE tool is focused on analyzing the impact that user interactions have on the tr