The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Lattice-based cryptography has recently produced several time-efficient cryptosystems that are provably secure under assumptions that are not known to be more easily solvable by quantum computers. An interesting research direction is improving their storage complexity, as current solutions are far from practical with respect to this metric. In this paper we show that program obfuscators for point...
Diderot is a parallel domain-specific language forthe analysis and visualization of multidimensional scientific images, such as those produced by CT and MRI scanners. Diderot is designed to support algorithms that are based on differential tensor calculus and produces a higher-order mathematical model which allows direct manipulation of tensor fields. One of the main challenges of the Diderot implementation...
Real-time (RT) simulation is a highly reliable simulation method that is mostly based on electromagnetic transient simulation of complex systems comprising many domains. It is increasingly used in power and energy systems for both academic research and industrial applications. Due to the evolution of the computing power of RT simulators in recent years, new classes of applications and expanded fields...
Applications with a Graphical User Interface (GUI) front-end are ubiquitous, thus it is of great importance to assure the quality of such systems. Model-based GUI testing provides an effective mechanism for automated testing of applications with a GUI. However, most existing model-based GUI test generation techniques produce many infeasible (i.e., Broken) event sequences which are used as test cases...
In online model-based testing, test execution is interleaved with test generation. Test cases should be generated and executed with minimal delay, while still achieving targeted coverage criteria quickly. Extensive model analysis in such case is not possible as any delays in choosing the next step will immediately impact the response times of test execution. The algorithms thus need to be as fast...
In software testing, most attention is given to verify the functionality of produced software. However, the quality of services (such as time to response or amount of produced data) is also important, especially in world of mobile or embedded devices. These properties are often estimated by using models of components, instead of testing the components from real applications. We have developed a simulation-based,...
Web services are designed as software building blocks for Service Oriented Architecture (SOA). It provides an approach to software development that system and application can be constructed by assembling reusable software building blocks, called services. The industries have adopted web services composition to generate new business applications or mission critical services. One of the most popular...
Modeling and abstraction is key in all engineering processes and have found extensive use also in software engineering. When developing new methodologies and techniques to support software engineers we want to evaluate them on realistic models. However, this is a challenge since (1) it is hard to get industry to give access to their models, and (2) we need a large number of models to systematically...
The frequent non-availability of an automated oracle means that, in practice, checking software behaviour is frequently a painstakingly manual task. Despite the high cost of human oracle involvement, there has been little research investigating how to make the role easier and less time-consuming. One source of human oracle cost is the inherent unread ability of machine-generated test inputs. In particular,...
Combinatorial test design model consists of parameters, values and the associated constraints. This model is the input for test generators. In this paper we present a rule based approach for deriving combinatorial test design model from UML activity diagrams resulting from requirement analysis. We have explored this approach on few sample cases. Our initial results suggest that this automated approach...
Stochastic simulations are often sensitive to the source of randomness that characterizes the statistical quality of their results. Consequently, we need highly reliable Random Number Generators (RNGs) to feed such applications. Recent developments try to shrink the computation time by relying more and more General Purpose Graphics Processing Units (GPGPUs) to speedup stochastic simulations. Such...
Atmospheric effects are one of the important factors that affect the physical realism of the infrared (IR) scene generators. IR scene generators obtained by OpenGL library are used in the applications where performance is critical. Modeling atmospheric effects in the IR band using OpenGL's fog model approach is found in the literature. However, the related fog model needs parameters that are independent...
This paper presents an integration of grammar-based testing in a framework for contract-based testing in PHP. It relies on the notion of \gtypes, that make it possible to assign domains to data, by means of contract assertions written inside the source code of a PHP application. Then a test generation tool uses the contracts to generate relevant test data for unit testing. Finally a runtime assertion...
The occurrence of fault on embedded critical systems can result in financial damage and human losses, as well. Rigorous approaches based on formalisms, specially testing routines, have been proposed to guarantee more reliable systems. Model-based testing is a rigorous approach to support testing activities, e.g. test case generation. Theoretical results have been validated in the literature, but there...
IOLTS (input output labeled transition system) is a versatile model and is frequently used in model based testing to model the functional behavior of an IUT (implementation under test). However when a system is tested remotely, its observed behavior can be different from its actual functional behavior. In \cite{atva}, we defined a notion of remotely observed behavior of an IOLTS in terms of its actual...
IPS has many special characteristics, such as using multi-phase, multi-frequency and hybrid AC/DC devices. As a result, existing electromagnetic transient simulators developed for power systems on land do not apply to IPS. This paper aims to build up a parallel based real-time electromagnetic transient simulator for IPS. A fast multi-switching process method for parallel electromagnetic transient...
Reusing software components for embedded control applications enhances product quality and reduces time to market when appropriate (formal) methodologies and supporting toolsets are available. That is why industrial companies are interested in developing trusted, in-house reusable components for specific areas of application. This creates a demand for tools supporting the construction of reusable...
This paper proposes two dynamic randomization techniques for Monte-Carlo Go that uses Monte-Carlo tree search with UCT algorithm. First, during the in-tree phase of a simulation game, the parameters are randomized in selected ranges before each simulation move. Second, during the playout phase, the order of simulation move generators are hierarchically randomized before each playout move. Both dynamic...
Random number generators are necessary in every simulation which includes stochastic aspects. For High Performance Computing, there is an increasing interest in the distribution of parallel random number streams. Even if we have now at our disposal statistically sound random number generators according to very tough testing libraries, their parallelization can still be a delicate problem. A set of...
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic involving a number of analysis operations, algorithms, paradigms and tools. Implementing these operations is far from trivial and easily leads to errors and defects in analysis solutions. Current testing methods in this context...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.