@inproceedings{havasi2007, title = {ConceptNet 3: a Flexible, Multilingual Semantic Network for Common Sense Knowledge}, address = {Borovets, Bulgaria}, author = {C. Havasi and R. Speer and J. Alonso}, booktitle = {Recent Advances in Natural Language Processing}, howpublished = {To appear}, month = {September}, year = 2007, description = {BibSonomy::bibtex::ConceptNet 3: a Flexible, Multilingual Semantic Network for Common Sense Knowledge}, biburl = {http://www.bibsonomy.org/bibtex/2f4bc3aaaa264a9c49c4af1a9480925c9/maida}, keywords = {goals evaluation tools knowledge-management commonsense} } @inproceedings{Linzhang2004, title = {Generating test cases from UML activity diagram based on Gray-box method}, author = {Wang Linzhang and Yuan Jiesong and Yu Xiaofeng and Hu Jun and Li Xuandong and Zheng Guoliang}, booktitle = {Software Engineering Conference, 2004. 11th Asia-Pacific}, pages = {284- 291}, year = 2004, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?isnumber=29994&arnumber=1371930&count=101&index=33}, issn = {1530-1362}, isbn = {0-7695-2245-9}, doi = {10.1109/APSEC.2004.55}, description = {Welcome to IEEE Xplore 2.0: Generating test cases from UML activity diagram based on Gray-box method}, abstract = {Test case generation is the most important part of the testing efforts, the automation of specification based test case generation needs formal or semi-formal specifications. As a semi-formal modelling language, UML is widely used to describe analysis and design specifications by both academia and industry, thus UML models become the sources of test generation naturally. Test cases are usually generated from the requirement or the code while the design is seldom concerned, this paper proposes an approach to generate test cases directly from UML activity diagram using Gray-box method, where the design is reused to avoid the cost of test model creation. In this approach, test scenarios are directly derived from the activity diagram modelling an operation. Then all the information for test case generation, i.e. input/output sequence and parameters, the constraint conditions and expected object method sequence, is extracted from each test scenario. At last, the possible values of all the input/output parameters could be generated by applying category-partition method, and test suite could be systematically generated to find the inconsistency between the implementation and the design. A prototype tool named UMLTGF has been developed to support the above process.}, biburl = {http://www.bibsonomy.org/bibtex/2c04ff20980fa7e58126769991dc5752a/ist_spl}, keywords = {formal specification activity UML gray-box testing diagrams tools category-partition} } @inproceedings{1068291, title = {Parsing and translation of expressions by genetic programming}, address = {Washington DC, USA}, author = {David Jackson}, booktitle = {{GECCO 2005}: Proceedings of the 2005 conference on Genetic and evolutionary computation}, editor = {Hans-Georg Beyer and Una-May O'Reilly and Dirk V. Arnold and Wolfgang Banzhaf and Christian Blum and Eric W. Bonabeau and Erick Cantu-Paz and Dipankar Dasgupta and Kalyanmoy Deb and James A. Foster and Edwin D. {de Jong} and Hod Lipson and Xavier Llora and Spiros Mancoridis and Martin Pelikan and Guenther R. Raidl and Terence Soule and Andy M. Tyrrell and Jean-Paul Watson and Eckart Zitzler}, month = {25-29 June}, pages = {1681--1688}, publisher = {ACM Press}, volume = 2, year = 2005, url = {http://doi.acm.org/10.1145/1068009.1068291}, address = {New York, NY, 10286-1405, USA}, isbn = {1-59593-010-8}, organisation = {ACM SIGEVO (formerly ISGEC)}, abstract = {We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are used in a typical programming language. Parsing and translation are important and complex real-world problems for which evolved solutions must make use of a range of programming constructs. The exercise also tests the ability of genetic programming to evolve extensive and appropriate use of abstract data types namely, stacks. Experimentation suggests that the evolution of such code is achievable, provided that program function and terminal sets are judiciously chosen.}, biburl = {http://www.bibsonomy.org/bibtex/29f1e76a6afa2dadc7949d9ee6283cd5c/brazovayeye}, keywords = {software programming, experimentation, tools genetic application, algorithms,} } @inproceedings{gagne:2002:gecco, title = {Open {BEAGLE}: {A} New {C++} Evolutionary Computation Framework}, address = {New York}, author = {Christian Gagn{\'e} and Marc Parizeau}, booktitle = {GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference}, editor = {W. B. Langdon and E. Cant{\'u}-Paz and K. Mathias and R. Roy and D. Davis and R. Poli and K. Balakrishnan and V. Honavar and G. Rudolph and J. Wegener and L. Bull and M. A. Potter and A. C. Schultz and J. F. Miller and E. Burke and N. Jonoska}, month = {9-13 July}, pages = 888, publisher = {Morgan Kaufmann Publishers}, year = 2002, url = {http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/papers/gecco2002/gecco-2002-15.pdf}, address = {San Francisco, CA 94104, USA}, isbn = {1-55860-878-8}, biburl = {http://www.bibsonomy.org/bibtex/243d120c8d76378b92c613fbb019f82c2/brazovayeye}, keywords = {oriented evolutionary object artificial engineering, tools software computation programming, intelligence, algorithms, paper, genetic framework, poster} } @inproceedings{BraunSchmidtZacharias07, title = {SOBOLEO: vom kollaborativen Tagging zur leichtgewichtigen Ontologie}, address = {Munich, Germany}, author = {Simone Braun and Andreas Schmidt and Valentin Zacharias}, booktitle = {Mensch \& Computer - 7. Fachübergreifende Konferenz (M\&C 2007)}, month = {September}, publisher = {Oldenbourg Verlag}, year = 2007, day = {2-5}, url = {http://www.fzi.de/KCMS/kcms_file.php?action=link&id=692}, location = {Weimar, Germany}, abstract = {Bisher gibt es kein integriertes Werkzeug, welches sowohl die kollaborative Erstellung eines Indexes relevanter Internetressourcen („Social Bookmarking“) als auch einer gemeinsamen Ontologie, welche zur Organisation des Indexes genutzt wird, integriert unterstützt. Die derzeitigen Werkzeuge gestatten entweder die Erstellung einer Ontologie oder die Strukturierung von Ressourcen entsprechend einervorgegebenen, unveränderlichen Ontologie bzw. ganz ohne jegliche Struktur. In dieser Arbeit zeigen wir, wie sich kollaboratives Tagging und kollaborative Ontologieentwicklung vereinen lassen, so dassjeweilige Schwächen vermieden werden und die Stärken einander ergänzen. Wir präsentieren SOBOLEO, ein System, das kollaborativ und web-basiert die Erstellung, Erweiterung und Pflege von Taxonomien und gemeinsamer Lesezeichensammlung ermöglicht und gleichzeitig die Annotierung von Internetressourcen mit Konzepten aus der erstellten Taxonomie unterstützt.}, biburl = {http://www.bibsonomy.org/bibtex/2da996d47a0a56599b63ed6d665341c9e/michi}, keywords = {tools soboleo ontology tagging folksonomy} } @article{Butler:2008:Nature:18172465, title = {Free journal-ranking tool enters citation market}, author = {D Butler}, journal = {Nature}, month = {Jan}, number = 7174, pages = {6-6}, volume = 451, year = 2008, url = {http://www.nature.com/news/2008/080102/full/451006a.html}, pmid = {18172465}, doi = {10.1038/451006a}, description = {Free journal-ranking tool enters citation market. [Nature. 2008] - PubMed Result}, biburl = {http://www.bibsonomy.org/bibtex/2d930c99c8e9c7fdf8ded3e9edb0762b0/hotho}, keywords = {index tools rank citation ranking research} } @inproceedings{paper:havasi:2007, title = {ConceptNet 3: a Flexible, Multilingual Semantic Network for Common Sense Knowledge}, address = {Borovets, Bulgaria}, author = {Catherine Havasi and Robert Speer and Jason Alonso}, booktitle = {Recent Advances in Natural Language Processing}, month = {September}, year = 2007, abstract = {The Open Mind Common Sense project has been collecting common-sense knowledge from volunteers on the Internet since 2000. This knowledge is represented in a machine-interpretable semantic network called ConceptNet. We present ConceptNet 3, which improves the acquisition of new knowledge in ConceptNet and facilitates turning edges of the network back into natural language. We show how its modular design helps it adapt to different data sets and languages. Finally, we evaluate the content of ConceptNet 3, showing that the information it contains is comparable with WordNet and the Brandeis Semantic Ontology.}, biburl = {http://www.bibsonomy.org/bibtex/208bdc0c326abf022173437181e57d44f/mschuber}, keywords = {goals commonsense tools knowledge networks evaluation} } @article{hammon_2005, title = {Social Bookmarking Tools (I)}, author = {Tony Hammond and Timo Hannay and Ben Lund and Joanna Scott}, journal = {D-Lib Magazine}, month = {April}, number = 4, volume = 11, year = 2005, url = {http://www.dlib.org/dlib/april05/hammond/04hammond.html}, biburl = {http://www.bibsonomy.org/bibtex/2e3aedd0069ef275662c5175cda3d9590/paul}, keywords = {social tools bookmarking} } @article{lund_2005, title = {Social Bookmarking Tools (II)}, author = {Ben Lund and Tony Hammond and Martin Flack and Timo Hannay}, journal = { }, number = 4, volume = 11, year = 2005, url = {http://webdoc.sub.gwdg.de/edoc/aw/d-lib/dlib/april05/lund/04lund.html}, biburl = {http://www.bibsonomy.org/bibtex/2c0f6de779a1695ed7440c94ab947d1f0/paul}, keywords = {tools bookmarking social} } @inproceedings{Vieira2006, title = {Automation of GUI testing using a model-driven approach}, address = {New York, NY, USA}, author = {Marlon Vieira and Johanne Leduc and Bill Hasling and Rajesh Subramanyan and Juergen Kazmeier}, booktitle = {AST '06: Proceedings of the 2006 international workshop on Automation of software test}, note = {MR: UML-Use-Cases werden mit Aktivitaetsdiagrammen beschrieben, an denen Aktivitaets-Annotationen mit der Verwendung von Testdaten angebracht werden. Die Testdaten werden nach der Category-Partition-Methode von Entwicklern angebracht. Zusätzlich sind die Aktivitaetsdiagramme um Guard-Conditions erweitert (es sind Constraints an den Pfeilen von Verzweigungen angebracht in einer speziellen TSL Sprache). Anwendung verschiedener Testauswahlkriterien gezeigt. Technik für den Systemtest angedacht, an einem GUI-Test als Beispiel gezeigt. Nachteil: Ansatz schweigt in Bezug auf Testorakel. Nur im 'Future work'-Abschnitt wurde angemerkt: "We are investigating ways to improve the test cases with detailed verification points and arbiters.". IST-SPL: wertvoll. }, pages = {9--14}, publisher = {ACM}, year = 2006, url = {http://portal.acm.org/citation.cfm?id=1138932}, location = {Shanghai, China}, isbn = {1-59593-408-1}, doi = {http://doi.acm.org/10.1145/1138929.1138932}, description = {Automation of GUI testing using a model-driven approach}, abstract = {This paper describes an ongoing research on test case generation based on Unified Modeling Language (UML). The described approach builds on and combines existing techniques for data and graph coverage. It first uses the Category-Partition method to introduce data into the UML model. UML Use Cases and Activity diagrams are used to respectively describe which functionalities should be tested and how to test them. This combination has the potential to create a very large number of test cases. This approach offers two ways to manage the number of tests. First, custom annotations and guards use the Category-Partition data which allows the designer tight control over possible, or impossible, paths. Second, automation allows different configurations for both the data and the graph coverage. The process of modeling UML activity diagrams, annotating them with test data requirements, and generating test scripts from the models is described. The goal of this paper is to illustrate the benefits of our model-based approach for improving automation on software testing. The approach is demonstrated and evaluated based on use cases developed for testing a graphical user interface (GUI).}, biburl = {http://www.bibsonomy.org/bibtex/2ea4969666434775f682740a6090c1447/ist_spl}, keywords = {automated GUI UML TDE/UML MBT activity testing diagrams tools Use-Cases category-partition} } @inproceedings{havasi2007, title = {ConceptNet 3: a Flexible, Multilingual Semantic Network for Common Sense Knowledge}, address = {Borovets, Bulgaria}, author = {C. Havasi and R. Speer and J. Alonso}, booktitle = {Recent Advances in Natural Language Processing}, howpublished = {To appear}, month = {September}, year = 2007, biburl = {http://www.bibsonomy.org/bibtex/2f4bc3aaaa264a9c49c4af1a9480925c9/mstrohm}, keywords = {goals knowledge-management tools evaluation commonsense} } @inproceedings{song2008sensemaking, title = {CiteSense: supporting sensemaking of research literature}, address = {New York, NY, USA}, author = {Xiaolong Zhang and Yan Qu and C. Lee Giles and Piyou Song}, booktitle = {CHI '08: Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems}, pages = {677--680}, publisher = {ACM}, year = 2008, url = {http://portal.acm.org/citation.cfm?id=1357054.1357161&coll=GUIDE&dl=ACM&type=series&idx=SERIES260&part=series&WantType=Proceedings&title=CHI}, location = {Florence, Italy}, isbn = {978-1-60558-011-1}, doi = {http://doi.acm.org/10.1145/1357054.1357161}, description = {CHI: CHI '08, CiteSense: supporting sensemaking of ...}, biburl = {http://www.bibsonomy.org/bibtex/2b69f467ca81c753d0192f02c574ad931/beate}, keywords = {analysis tools citation research} } @book{Utting2006, title = {Practical Model-Based Testing: A Tools Approach}, author = {Mark Utting and Bruno Legeard}, edition = 1, note = {MR: Das Buch beschäftigt sich mit Testorakeln bei MBT: "The main focus of this book (Chapters 3 to 7 and 9 and 10) is [...] the generation of executable test cases that include oracle information, based on models of the SUT behavior. This generation process includes the generation of input values and teh sequencing of calls into test sequences, but it also includes the generation of oracles that check the SUT outputs." Es werden 12 Beispiele und Case Studies aus verschiedenen Domänen behandelt, wobei mehrere Modellierungssprachen eingesetzt werden: UML, B, Z, FSM, EFSM, Spec#. Es bring eine Übersicht über zur Zeit vorhandenen MBT-Tools und zugrunde liegenden Modelltypen. Hauptsächlich werden zwei Gruppen von Modelltypen betrachtet: - transition-based models (e.g., FSM and UML state machines, statecharts, LTS) - pre/post(conditions) models (or state-based notations) (e.g.,B machines and UML/OCL specifications) Auch Model Coverage Criteria für Testfallauswahl werden behandelt. Wie der Titel des Buches bereits verrät, werden die theoretischen Zusammenhänge und Ableitungen sehr stiefmütterlich behandelt! Oft findet man keine sinnvolle Begründung für bestimmte Behauptungen der Autoren. Hierzu siehe auch Product Description: "It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics."}, publisher = {Morgan Kaufmann}, year = 2006, url = {http://www.amazon.com/gp/redirect.html%3FASIN=0123725011%26tag=ws%26lcode=xm2%26cID=2025%26ccmID=165953%26location=/Practical-Model-Based-Testing-Tools-Approach/dp/0123725011%253FSubscriptionId=13CT5CVB80YFWJEPWS02}, ean = {9780123725011}, asin = {0123725011}, isbn = {0123725011}, dewey = {005.30287}, description = {Amazon.com: Practical Model-Based Testing: A Tools Approach: Mark Utting, Bruno Legeard: Books}, abstract = {Product Description This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics. The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems. From this book you will learn: * The basic principles and terminology of model-based testing * How model-based testing differs from other testing processes * How model-based testing fits into typical software lifecycles such as agile methods and the Unified Process * The benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market * A step-by-step process for applying model-based testing * How to write good models for model-based testing * How to use a variety of test selection criteria to control the tests that are generated from your models * How model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments * Presents the basic principles and terminology of model-based testing * Shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and how it can reduce time to market * Offers guidance on how to use different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies}, biburl = {http://www.bibsonomy.org/bibtex/2e7a2032b56fe9dceccc15f9df66e9d13/ist_spl}, keywords = {software automated UML MBT OCL tools oracle test finite B statemachine} } @book{alag2008, title = {Collective Intelligence in Action}, author = {S. Alag}, publisher = {Manning Publications}, year = 2008, url = {http://www.amazon.de/gp/redirect.html%3FASIN=1933988312%26tag=ws%26lcode=xm2%26cID=2025%26ccmID=165953%26location=/Collective-Intelligence-Action-Satnam-Alag/dp/1933988312%253FSubscriptionId=13CT5CVB80YFWJEPWS02}, ean = {9781933988313}, asin = {1933988312}, isbn = {1933988312}, dewey = {004}, biburl = {http://www.bibsonomy.org/bibtex/20ee711295a177fe2252f96969682c3b5/mstrohm}, keywords = {tools web-science TOBUY} } @misc{Utting2006a, title = {A taxonomy of model-based testing }, author = {Mark Utting and Alexander Pretschner and Bruno Legeard}, howpublished = {Working Paper}, month = {April}, note = {MR: Wertvoll wegen den vorgestellten Modellparadigmen. Enthält auch 5 einklassifizierte Ansätze (3 für modellbasierte Testfallgenerierung und 2 für modellbasierte Testeingabenermittlung). Nachteilig: es werden nur Ansätze betrachtet, die durch ein Tool repräsentiert werden.}, year = 2006, url = {http://www.google.de/url?sa=t&ct=res&cd=1&url=http%3A%2F%2Fwww.cs.waikato.ac.nz%2Fpubs%2Fwp%2F2006%2Fuow-cs-wp-2006-04.pdf&ei=SOxDSPDKPJHq7AXh5IiyCA&usg=AFQjCNEWt-dp2FGXx75Cf7dnbWnw0WFhjg&sig2=nZkTJehFOHixOyfaU3bG4A}, abstract = {Model-based testing relies on models of a system under test and/or its environment to derive test cases for the system. This paper provides an overview of the field. Seven different dimensions define a taxonomy that allows the characterization of different approaches to model-based testing. It is intended to help with understanding benefits and limitations of model-based testing, understanding the approach used in a particular model-based testing tool, and understanding the issues involved in integrating model-based testing into a software development process. To illustrate the taxonomy, we classify several approaches embedded in existing model-based testing tools.}, biburl = {http://www.bibsonomy.org/bibtex/25b8660eea53c1bbea9a3508cb9efa82a/ist_spl}, keywords = {MBT tools fundamentals} } @inproceedings{paper:holmes:2008, title = {A newbie's guide to eclipse APIs}, address = {New York, NY, USA}, author = {Reid Holmes and Robert J. Walker}, booktitle = {MSR '08: Proceedings of the 2008 international workshop on Mining software repositories}, pages = {149--152}, publisher = {ACM}, year = 2008, description = {describing a tool to extend the documentation of eclipse by combining the high-level design documentation and the low-level API documentation}, abstract = {Eclipse has evolved from a fledgling Java IDE into a mature software ecosystem. One of the greatest benefits Eclipse provides developers is flexibility; however, this is not without cost. New Eclipse developers often find the framework to be large and confusing. Determining which parts of the framework they should be using can be a difficult task as Eclipse documentation tends to be either very high-level, focusing on the design of the framework, or low-level, focusing on specific APIs. We have developed a tool called PopCon that provides a bridge between high-level design documentation and low-level API documentation by statically analyzing a framework and several of its clients and providing a ranked list of the relative popularity of its APIs. We have applied PopCon to the Eclipse framework for this challenge to help newbie Eclipse developers identify some of the most relevant APIs for their tasks.}, biburl = {http://www.bibsonomy.org/bibtex/2f71cd582b8f22978d4d498b15bb9b9cf/mschuber}, keywords = {msr eclipse tools} } @inproceedings{paper:omori:2008, title = {A change-aware development environment by recording editing operations of source code}, address = {New York, NY, USA}, author = {Takayuki Omori and Katsuhisa Maruyama}, booktitle = {MSR '08: Proceedings of the 2008 international workshop on Mining software repositories}, month = {May}, pages = {31--34}, publisher = {ACM}, year = 2008, abstract = {Understanding a program and its evolution is not satisfied only by looking at a current snapshot of its source code. Thus, a developer often examines a sequence of its snapshots stored in repositories of versioning systems, and identifies differences between two successive snapshots. Unfortunately, such differences do not represent individual changes of the source code. This paper proposes a mechanism for recording all editing operations a developer has applied to source code on an integrated development environment. The paper also shows a running implementation of the mechanism built as an Eclipse plug-in, which is called OperationRecorder. The experimental results with a small-scale program substantiate that it has a practical use from the viewpoint of its performance.}, biburl = {http://www.bibsonomy.org/bibtex/288ae0431c1fc5c0b6007d2c8489c2080/mschuber}, keywords = {software msr eclipse tools} } @article{2250325520060901, title = {TECHNOLOGY MANAGEMENT TOOLS:: GENERALIZATION, INTEGRATION AND CONFIGURATION.}, author = {ROBERT PHAAL and CLARE FARRUKH and DAVID PROBERT}, journal = {International Journal of Innovation & Technology Management}, number = 3, pages = {p321 - 339}, volume = 3, year = 20060901, url = {http://search.ebscohost.com/login.aspx?direct=true&db=bth&AN=22503255&site=ehost-live}, issn = {02198770}, abstract = {Managers in technology-intensive businesses need to make decisions in complex and dynamic environments. Many tools, frameworks and processes have been developed to support managers in these situations, leading to a proliferation of such approaches, with little consistency in terminology or theoretical foundation, and a lack of understanding of how such tools can be linked together to tackle management challenges in an integrated way. As a step towards addressing these issues, this paper proposes the concept of an integrated 'toolkit', incorporating generalized forms of three core technology management tools that support strategic planning (roadmapping, portfolio analysis and linked analysis grids). ABSTRACT FROM AUTHOR Copyright of International Journal of Innovation & Technology Management is the property of World Scientific Publishing Company and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permissi}, biburl = {http://www.bibsonomy.org/bibtex/2a109078a8873e13c040f058952e344cd/dominikfriedel}, keywords = {portfolio, planning, making, roadmapping, TECHNOLOGY, STRATEGIC NAMES, DECISION Tools frameworks, SCIENCE,} } @article{1348817, title = {Evaluating meeting support tools}, address = {London, UK}, author = {Wilfried M. Post and Mirjam A. A. Huis in \&\#x2019;t Veld and Sylvia A. A. van den Boogaard}, journal = {Personal Ubiquitous Comput.}, number = 3, pages = {223--235}, publisher = {Springer-Verlag}, volume = 12, year = 2008, url = {http://portal.acm.org/citation.cfm?id=1348817&CFID=69082783&CFTOKEN=86476848}, issn = {1617-4909}, doi = {http://dx.doi.org/10.1007/s00779-007-0148-1}, biburl = {http://www.bibsonomy.org/bibtex/2ca2c9b3d2081e289ac8d5e7585248350/lanubile}, keywords = {meeting groupware tools} } @book{PoweUNIX2003, title = {UNIX power tools}, address = {Beijing [u.a.]}, author = {Shelley Powers}, edition = {3. ed., updated & expanded}, publisher = {O'Reilly}, year = 2003, ISBN = {0-596-00330-7}, description = {KUG Recherche-Portal}, biburl = {http://www.bibsonomy.org/bibtex/276ed421899df755cf6b55577184aa2a8/flimm}, keywords = {tools shell} }