CiteULike sjgaller's CiteULike Search Register Log in

sjgaller's tags

All tags in sjgaller's library
ad-hoc   aggregation   ai   algebraic-testing   algorithm   application   aspect-oriented-programming   aspectj   automatic   automatic-testing   autotest   b   backpropagation   bearings   behavior-engine   behavioral-specification   berkely   black-box-testing   boolean-abstraction   c-cpp   c-sharp   case-study   classification   clustering   code-coverage   color-independent-vision   compiler   concurrent-programs   constraint-problem   control-flow-graph   conveyor   csg   da   dag   daikon   data   data-dependency   datamining   deadlock-detection   deployment   design   design-by-contract   design-pattern   diagnostic   diduce   distributed-programs   dynamic-analysis   dynamic-weight-adaption   eiffel   energy   finite-state-machine   formalization   games   gazebo-player-stage   genetic-algorithm   harvard   heap-games   hoare   integration-tests   introductory-work   invariant-detection   jaml   jamlunit   jaout   java   java-path-finder   jcamel   jcrasher   jcute   jet   jml   jml4   jml5   jmltt   jmock   key   knowledge-discovery   languages   larch   localization   logic   mobile   mock   model-checker   monitoring   monte-carlo   mutation-testing   navigation   neuralnetwork   ocl   optimizer   overview   pca   performance   pex   planning   plant   prediction   program-execution   programming-languages   project-automaticmocking   project-effectsofmethodcalls   project-planning   project-stringgeneration   propabilistic   protocol   purity-analysis   random-testing   rbf   reading-group-testing   robocup   robot   rostra   satisfiability   satisfiability-modulo-theories   scr   search-based-testing   simulation   softnet   software-engineering   som   spec-sharp   specification   specification-based-testing   specification-generation   standardization   state-explosion   static-analysis   statistics   stereo-vision   string-generation   supervised   survey   svm   symbolic-execution   symclat   symstra   synthesis   temporal-logic   test-case-generation   test-data-generation   test-quality-measurment   testera   testgen   testin   testing   theorem-prover   tool   tracking   unit-test   unitesk   unsupervised   utjml   vdm   verification   vibration   vision   warehouse   white-box-testing   wlan   wrasp   wsn   z   z3  
Privacy Statement | Terms & Conditions
CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.