Sciweavers

8347 search results - page 432 / 1670
» Performance testing of software systems
Sort
View
FOSSACS
2006
Springer
15 years 8 months ago
Reversing Algebraic Process Calculi
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
Iain C. C. Phillips, Irek Ulidowski
ISSRE
2008
IEEE
15 years 11 months ago
Automated Fix Generator for SQL Injection Attacks
A critical problem facing today’s internet community is the increasing number of attacks exploiting flaws found in Web applications. This paper specifically targets input valida...
Fred Dysart, Mark Sherriff
DATE
1997
IEEE
97views Hardware» more  DATE 1997»
15 years 9 months ago
Analysis of 3D conjugate heat transfers in electronics
An efficient method for the analysis of real 3D conjugate heat transfer for electronic devices is presented. This methodology is based on the coupling of two software : a conducti...
J. P. Fradin, L. Molla, B. Desaunettes
SNPD
2008
15 years 6 months ago
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
SIGSOFT
2010
ACM
15 years 3 months ago
HI-C: diagnosing object churn in framework-based applications
In prior work we have developed an escape analysis to help developers identify sources of object churn (i.e., excessive use of temporaries) in large framework-based applications. ...
Marc Fisher II, Luke Marrs, Barbara G. Ryder