Sciweavers

905 search results - page 74 / 181
» Code Generator Testing in Practice
Sort
View
ANSOFT
2002
94views more  ANSOFT 2002»
13 years 11 months ago
Testing Processes of Web Applications
Abstract. Current practice in Web application development is based on the skills of the individual programmers and often does not apply the principles of software engineering. The ...
Filippo Ricca, Paolo Tonella
CAISE
2006
Springer
14 years 2 months ago
Validation of Regulation Documents by Automated Analysis of Formal Models
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie V...
ICSE
2009
IEEE-ACM
14 years 6 months ago
Succession: Measuring transfer of code and developer productivity
Code ownership transfer or succession is a crucial ingredient in open source code reuse and in offshoring projects. Measuring succession can help understand factors that affect ...
Audris Mockus
CPHYSICS
2007
80views more  CPHYSICS 2007»
13 years 11 months ago
Development of a parallelized 3D electrostatic PIC-FEM code and its applications
A parallelized three-dimensional self-consistent electrostatic particle-in-cell (PIC) code using unstructured tetrahedral mesh is proposed. Parallel implementation of the current ...
J.-S. Wu, K.-H. Hsu, F.-L. Li, C.-T. Hung, S.-Y. J...
HASKELL
2007
ACM
14 years 3 months ago
Haskell program coverage
We describe the design, implementation and use of HPC, a toolkit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record prog...
Andy Gill, Colin Runciman