Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
programming integration » programming integrating, programming international, programming information
integration https » interaction https, migration https
function testing » function tests, function test, mutation testing
https function » its function, sites function, ups function
testing https » teaching https, being https, writing https
programming integration » programming integrating, programming international, programming information
integration https » interaction https, migration https
function testing » function tests, function test, mutation testing
https function » its function, sites function, ups function
testing https » teaching https, being https, writing https
1
Publicat 2010
Taula de continguts:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”Obtenir text complet
Electrònic
eBook
2
Publicat 2008
Taula de continguts:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Obtenir text complet
Electrònic
eBook
3
Taula de continguts:
“...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
4
Publicat 2010
Taula de continguts:
“... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...”Obtenir text complet
Electrònic
eBook
5
Publicat 2007
Taula de continguts:
“... Device Driver Verification -- Integrating Verification, Testing, and Learning for Cryptographic Protocols...”Obtenir text complet
Electrònic
eBook
6
Publicat 2010
Taula de continguts:
“...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...”Obtenir text complet
Electrònic
eBook
7
Publicat 2008
Taula de continguts:
“... to Combinatorial Testing with Constraints -- Functional Testing in the Focal Environment -- Bounded Relational...”Obtenir text complet
Electrònic
eBook
8
Taula de continguts:
“... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
9
Publicat 2013
Taula de continguts:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“... Width Formulas -- Proof Complexity of Propositional Default Logic -- Automated Testing and Debugging...”Obtenir text complet
Electrònic
eBook
11
Publicat 2005
Taula de continguts:
“... Approach -- Test Generation: A Hierarchical Approach -- Test Program Generation from High-level...”Obtenir text complet
Electrònic
eBook
12
Publicat 2006
Taula de continguts:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”Obtenir text complet
Electrònic
eBook
14
Publicat 2005
Taula de continguts:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Obtenir text complet
Electrònic
eBook
15
Publicat 2005
Taula de continguts:
“... -- Using a Specification Approach to Facilitate Component Testing -- A Methodology of Component Integration...”Obtenir text complet
Electrònic
eBook
16
Taula de continguts:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
17
Publicat 2012
Taula de continguts:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”Obtenir text complet
Electrònic
eBook
18
Publicat 2007
Taula de continguts:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”Obtenir text complet
Electrònic
eBook
19
Publicat 2006
Taula de continguts:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”Obtenir text complet
Electrònic
eBook
20
Publicat 2013
Taula de continguts:
“...Brzozowski’s and Up-To Algorithms for Must Testing -- Practical Alternating Parity Tree Automata...”Obtenir text complet
Electrònic
eBook