Sciweavers

4029 search results - page 429 / 806
» Experience with Software Watermarking
Sort
View
SIGCSE
2002
ACM
149views Education» more  SIGCSE 2002»
15 years 6 months ago
A comprehensive project for CS2: combining key data structures and algorithms into an integrated web browser and search engine
We present our experience using a large, real-world application as a course project for the second half of the semester of a CS2 course. Our primary goal for the project was to cr...
Tia Newhall, Lisa Meeden
ICST
2010
IEEE
15 years 5 months ago
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard...
INFSOF
2010
112views more  INFSOF 2010»
15 years 5 months ago
Experimental program analysis
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis tec...
Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rot...
OOPSLA
2010
Springer
15 years 5 months ago
Teaching and training developer-testing techniques and tool support
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wo...
RCIS
2010
15 years 5 months ago
Evaluating cross-organizational ERP requirements engineering practices: a focus group study
This focus group study presents our first validation of practices for engineering the coordination requirements in cross­ organizational Enterprise Resource Planning (ERP) project...
Maya Daneva, Niv Ahituv