277 search results - page 10 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
146
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
170
click to vote
AOSD
2009
ACM
16 years 20 days ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
154
click to vote
ICST
2009
IEEE
16 years 15 days ago
2009
IEEE
Aspect-oriented programming (AOP) languages introduce new constructs that can lead to new types of faults, which must be targeted by testing techniques. In particular, AOP languag...
178
click to vote
CC
2005
Springer
15 years 11 months ago
2005
Springer
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
131
click to vote
CASCON
2006
15 years 7 months ago
2006
State based protocols are protocols in which the handling of one message depends on the contents of previous messages. Testing such protocols, for security or for other purposes u...