sjgaller's tags

ad-hoc aggregation ai algebraic-testing algorithm application aspectj aspect-oriented-programming automatic automatic-testing autotest b backpropagation bearings behavioral-specification berkely black-box-testing boolean-abstraction case-study c-cpp classification clustering code-coverage color-independent-vision compiler concurrent-programs constraint-problem control-flow-graph conveyor csg c-sharp da dag daikon data datacollection data-dependency datamining deadlock-detection deployment design design-by-contract diagnostic diduce distributed-programs dynamic-analysis dynamic-weight-adaption eiffel energy finite-state-machine formalization ftsp games gazebo-player-stage genetic-algorithm harvard heap-games hoare integration-tests introductory-work invariant-detection jaml jamlunit jaout java java-path-finder jcrasher jcute jet jml jml4 jml5 jmltt jmock key knowledge-discovery languages larch lessonslearned 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 simulation softnet som specification specification-based-testing specification-generation spec-sharp 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 testera testgen testin testing theorem-prover timesynchronization tool tracking unitesk unit-testing unit-tests unsupervised utjml vdm verification vibration vision warehouse white-box-testing wlan wrasp wsn z z3

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.