|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 288 occurrences of 246 keywords
|
|
|
Results
Found 749 publication records. Showing 732 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
122 | Daniel Stefankovic, Santosh S. Vempala, Eric Vigoda |
Adaptive simulated annealing: A near-optimal connection between sampling and counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 56(3), pp. 18:1-18:36, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
simulated annealing, Markov chain Monte Carlo, Counting |
109 | Dieter Scheffner, Johann Christoph Freytag |
Access Support Tree & TextArray: A Data Structure for XML Document Storage & Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSDBM ![In: Proceedings of the 14th International Conference on Scientific and Statistical Database Management, July 24-26, 2002, Edinburgh, Scotland, UK, pp. 155-164, 2002, IEEE Computer Society, 0-7695-1632-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
95 | Beata Konikowska, Wojciech Penczek |
Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp. 226-239, 2002, Springer, 3-540-44043-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
82 | David S. Ebert, Christopher J. Morris 0001, Penny Rheingans, Terry S. Yoo |
Designing Effective Transfer Functions for Volume Rendering from Photographic Volumes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 8(2), pp. 183-197, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
photographic data, volume rendering, transfer functions |
68 | Neal Lesh, Joe Marks, A. McMahon, Michael Mitzenmacher |
New heuristic and interactive approaches to 2D rectangular strip packing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Exp. Algorithmics ![In: ACM J. Exp. Algorithmics 10, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
2D rectangular strip packing, Cutting stock/trim, interactive methods |
68 | William David Salisbury, Abhijit Gopal, Wynne W. Chin |
Are We All Working from the Same Script? Developing an Instrument to Measure Consensus on the Appropriation of an Electronic Meeting System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 13-23, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
64 | Xianrong Su, Ruisheng Zhang, Tongming Wei, Ruipeng Wei, Lian Li 0003 |
Translating Gaussian03 AST into DLTK AST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC ![In: Eighth International Conference on Grid and Cooperative Computing, GCC 2009, Lanzhou, Gansu, China, August 27-29, 2009, pp. 50-54, 2009, IEEE Computer Society, 978-0-7695-3766-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
DLTK, ANTLR, Translation, Editor, AST |
58 | Andres-Leonardo Martínez-Ortiz, David Lizcano, Miguel Ortega |
Software metrics artifacts making web quality measurable: AST 2019 invited paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST@ICSE ![In: Proceedings of the 14th International Workshop on Automation of Software Test, AST@ICSE 2019, May 27, 2019, Montreal, QC, Canada., pp. 1-6, 2019, IEEE / ACM, 978-1-7281-2237-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
58 | Hong Zhu 0002, Junhua Ding, Patrícia D. L. Machado, Marc Roper |
AST 2017 Workshop Summary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST@ICSE ![In: 12th IEEE/ACM International Workshop on Automation of Software Testing, AST@ICSE 2017, Buenos Aires, Argentina, May 20-21, 2017, pp. 1, 2017, IEEE Computer Society, 978-1-5386-1548-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
54 | James Cheng, Yiping Ke, Wilfred Ng |
Efficient query processing on graph databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 34(1), pp. 2:1-2:48, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
graph query processing, Graph databases, frequent subgraphs, graph indexing |
54 | Mark Lanthier, Doron Nussbaum, Tsuo-Jung Wang |
Computing an approximation of the 1-center problem on weighted terrain surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Exp. Algorithmics ![In: ACM J. Exp. Algorithmics 13, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
1-Center, meeting point, algorithms, robots, approximation, shortest path, weighted, terrain |
54 | Wenfei Fan, Floris Geerts, Wouter Gelade, Frank Neven, Antonella Poggi |
Complexity and composition of synthesized web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada, pp. 231-240, 2008, ACM, 978-1-60558-108-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
data-driven web services, complexity, composition |
54 | Jingli Zhou, Hongtao Xia, Jifeng Yu, Xiaofeng Wang |
Asymmetrical SSL Tunnel Based VPN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA ![In: Parallel and Distributed Processing and Applications, 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings, pp. 113-124, 2006, Springer, 3-540-68067-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Zhenghua Fu, Haiyun Luo, Petros Zerfos, Songwu Lu, Lixia Zhang 0001, Mario Gerla |
The Impact of Multihop Wireless Channel on TCP Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 4(2), pp. 209-221, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
congestion and contention control, TCP performance, multihop networks |
54 | Srihari Adireddy, Lang Tong |
Exploiting decentralized channel state information for random access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 51(2), pp. 537-561, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Reuven Y. Rubinstein |
Cross-entropy and rare events for maximal cut and partition problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 12(1), pp. 27-53, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Combinatorial optimization, importance sampling, cross-entropy, rare event simulation |
51 | Paul B. Mann |
A translational BNF grammar notation (TBNF). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 41(4), pp. 16-23, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
LALR, LL, LR, intermediate code, language recognition, grammar, syntax, parser, parser generator, compiler compiler, AST, BNF, grammarware, EBNF |
50 | Hyungwoo Kang, Kibom Kim, Soon Jwa Hong, Dong Hoon Lee 0001 |
A Model for Security Vulnerability Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III, pp. 385-394, 2006, Springer, 3-540-34075-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Abstract Syntax Tree (AST), Static analysis, Buffer overflow, Software security, Pushdown Automata (PDA) |
47 | Yongbo Xu, Mingqing Yu, Xingren Wang |
Research and Development on AST-RTI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaSim ![In: Systems Modeling and Simulation: Theory and Applications, Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 361-366, 2004, Springer, 3-540-24477-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
46 | László Angyal, László Lengyel, Hassan Charaf |
A Synchronizing Technique for Syntactic Model-Code Round-Trip Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland, pp. 463-472, 2008, IEEE Computer Society, 978-0-7695-3141-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Three-way AST Differencing, AST Merging, Model-Code Synchronization, Model-Driven Development, Domain-Specific Models |
43 | Giuliano Antoniol, Massimiliano Di Penta, Ettore Merlo |
YAAB (Yet Another AST Browser): Using OCL to Navigate ASTs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 11th International Workshop on Program Comprehension (IWPC 2003), May 10-11, 2003, Portland, Oregon, USA, pp. 13-22, 2003, IEEE Computer Society, 0-7695-1883-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
AST navigation, UML, OCL, source code analysis |
41 | Michel Chilowicz, Étienne Duris, Gilles Roussel 0001 |
Syntax tree fingerprinting for source code similarity detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: The 17th IEEE International Conference on Program Comprehension, ICPC 2009, Vancouver, British Columbia, Canada, May 17-19, 2009, pp. 243-247, 2009, IEEE Computer Society, 978-1-4244-3998-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Jeffrey L. Overbey, Ralph E. Johnson |
Generating Rewritable Abstract Syntax Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLE ![In: Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers, pp. 114-133, 2008, Springer, 978-3-642-00433-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Brent Furneaux, Dorit Nevo |
Beyond Cognitions: A Call for Greater Consideration of Emotion in Information Systems Decision Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 451, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Dominic M. Thomas, Saurabh Gupta 0003, Robert P. Bostrom |
A Meta-theory for Understanding IS in Socio-technical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 41st Hawaii International International Conference on Systems Science (HICSS-41 2008), Proceedings, 7-10 January 2008, Waikoloa, Big Island, HI, USA, pp. 451, 2008, IEEE Computer Society, 0-7695-3075-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Tal Philosof, Ram Zamir |
The Cost of Uncorrelation and Noncooperation in MIMO Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 53(11), pp. 3904-3920, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Zhenmin Li, Zhifeng Chen, Yuanyuan Zhou 0001 |
Mining block correlations to improve storage performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 1(2), pp. 213-245, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
block correlations, Storage management, mining methods and algorithms, file system management |
41 | Raihan Al-Ekram, Kostas Kontogiannis |
An XML-Based Framework for Language Neutral Program Representation and Generic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 9th European Conference on Software Maintenance and Reengineering (CSMR 2005), 21-23 March 2005, Manchester, UK, Proceedings, pp. 42-51, 2005, IEEE Computer Society, 0-7695-2304-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Rajeev Alur, Thomas A. Henzinger, Orna Kupferman |
Alternating-time temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 49(5), pp. 672-713, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
temporaxl logic, model checking, games, Alternation |
41 | Hagit Attiya, Eyal Dagan |
Improved implementations of binary universal operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 48(5), pp. 1013-1037, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
contention-sensitive algorithms, deterministic coin tossing, load-linked/store-conditional operations, universal operations, wait-free algorithms, Asynchronous shared-memory systems |
41 | Mark Blunden, Adrian Escott |
Related Key Attacks on Reduced Round KASUMI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSE ![In: Fast Software Encryption, 8th International Workshop, FSE 2001 Yokohama, Japan, April 2-4, 2001, Revised Papers, pp. 277-285, 2001, Springer, 3-540-43869-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Christopher G. Mayhew, Andrew R. Teel |
Synergistic Hybrid Feedback for Global Rigid-Body Attitude Tracking on $\hbox{ SO }(3)^{\ast}$ ${\ssr {SO}}(3)^{\ast}$. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 58(11), pp. 2730-2742, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Hongxun Qin, Xiangqian Zhou |
The class of binary matroids with no M(K3, 3)-, M ast (K3, 3)-, M(K5)- or M ast (K5)-minor . ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 90(1), pp. 173-184, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | |
IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![IEEE, 979-8-3503-2402-0 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Xiaoxue Wu, Wenjing Shan, Wei Zheng 0006, Zhiguo Chen, Tao Ren, Xiaobing Sun 0001 |
An Intelligent Duplicate Bug Report Detection Method Based on Technical Term Extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 1-12, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Xiaoning Chang, Zheheng Liang, Yifei Zhang, Lei Cui, Zhenyue Long, Guoquan Wu, Yu Gao 0002, Wei Chen 0018, Jun Wei 0001, Tao Huang 0001 |
A Reinforcement Learning Approach to Generating Test Cases for Web Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 13-23, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Weisong Sun, Weidong Qian, Bin Luo 0003, Zhenyu Chen 0001 |
MuTCR: Test Case Recommendation via Multi-Level Signature Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 179-190, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Patrick Stöckle, Michael Sammereier, Bernd Grobauer, Alexander Pretschner |
Better Safe Than Sorry! Automated Identification of Functionality-Breaking Security-Configuration Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 90-100, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Yavuz Köroglu, Franz Wotawa |
Towards a Review on Simulated ADAS/AD Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 112-122, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Sushant Kumar Pandey, Anil Kumar Tripathi |
Cross-Project setting using Deep learning Architectures in Just-In-Time Software Fault Prediction: An Investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 24-34, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Julian Thome, James Johnson, Isaac Dawson, Dinesh Bolkensteyn, Michael Henriksen, Mark Art |
SourceWarp: A scalable, SCM-driven testing and benchmarking approach to support data-driven and agile decision making for CI/CD tools and DevOps platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 68-78, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Milos Ojdanic, Ahmed Khanfir, Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon |
On Comparing Mutation Testing Tools through Learning-based Mutant Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 35-46, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Rezwana Mamata, Akramul Azim, Ramiro Liscano, Kevin Smith, Yee-Kang Chang, Gkerta Seferi, Qasim Tauseef |
Test Case Prioritization using Transfer Learning in Continuous Integration Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 191-200, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Taejun Lee, Heewon Park, Heejo Lee |
AutoMetric: Towards Measuring Open-Source Software Quality Metrics Automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 47-55, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Amal Akli, Guillaume Haben, Sarra Habchi, Mike Papadakis, Yves Le Traon |
FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 140-151, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Martin Gruber, Gordon Fraser 0001 |
Debugging Flaky Tests using Spectrum-based Fault Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 128-139, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Shawn Rasheed, Jens Dietrich 0001, Amjed Tahir |
On the Effect of Instrumentation on Test Flakiness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 123-127, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Renan Greca, Breno Miranda, Antonia Bertolino |
Orchestration Strategies for Regression Test Suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 163-167, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Moritz Beller, Hongyu Li, Vivek Nair, Vijayaraghavan Murali, Imad Ahmad, Jürgen Cito, Drew Carlson, Gareth Ari Aye, Wes Dyer |
Learning to Learn to Predict Performance Regressions in Production at Meta. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 56-67, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Soha Hussein, Stephen McCamant, Elena Sherman, Vaibhav Sharma 0001, Mike Whalen |
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 79-89, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Sydur Rahaman, Umar Farooq 0002, Iulian Neamtiu, Zhijia Zhao 0001 |
Detecting Potential User-data Save & Export Losses due to Android App Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 152-162, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Ranim Khojah, Chi Hong Chao, Francisco Gomes de Oliveira Neto |
Evaluating the Trade-offs of Text-based Diversity in Test Prioritisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 168-178, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti |
Cross-coverage testing of functionally equivalent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023, pp. 101-111, 2023, IEEE, 979-8-3503-2402-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Hong Zhu 0002, Jerry Gao 0002, Saurabh Sinha, Lu Zhang 0023 (eds.) |
9th International Workshop on Automation of Software Test, AST 2014, Hyderabad, India, May 31 - June 1, 2014 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![ACM, 978-1-4503-2858-6 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
39 | Sebastian Eder, Benedikt Hauptmann, Maximilian Junker, Rudolf Vaas, Karl-Heinz Prommer |
Selecting manual regression test cases automatically using trace link recovery and change coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 9th International Workshop on Automation of Software Test, AST 2014, Hyderabad, India, May 31 - June 1, 2014, pp. 29-35, 2014, ACM, 978-1-4503-2858-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
39 | Alexander Elyasov, Wishnu Prasetya, Jurriaan Hage, Andreas Nikas |
Reduce first, debug later. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 9th International Workshop on Automation of Software Test, AST 2014, Hyderabad, India, May 31 - June 1, 2014, pp. 57-63, 2014, ACM, 978-1-4503-2858-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
39 | Josip Bozic, Dimitris E. Simos, Franz Wotawa |
Attack pattern-based combinatorial testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 9th International Workshop on Automation of Software Test, AST 2014, Hyderabad, India, May 31 - June 1, 2014, pp. 1-7, 2014, ACM, 978-1-4503-2858-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
39 | Huiqing Li, Simon J. Thompson |
Improved semantics and implementation through property-based testing with QuickCheck. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 9th International Workshop on Automation of Software Test, AST 2014, Hyderabad, India, May 31 - June 1, 2014, pp. 50-56, 2014, ACM, 978-1-4503-2858-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
39 | Breno Miranda, Antonia Bertolino |
Social coverage for customized test adequacy and selection criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 9th International Workshop on Automation of Software Test, AST 2014, Hyderabad, India, May 31 - June 1, 2014, pp. 22-28, 2014, ACM, 978-1-4503-2858-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
39 | Kaliappa Ravindran, Arun Adiththan |
Verification of non-functional properties of cloud-based distributed system services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 9th International Workshop on Automation of Software Test, AST 2014, Hyderabad, India, May 31 - June 1, 2014, pp. 43-49, 2014, ACM, 978-1-4503-2858-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
39 | Chenkai Guo, Jing Xu 0008, Hongji Yang, Ying Zeng, Shuang Xing |
An automated testing approach for inter-application security in Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 9th International Workshop on Automation of Software Test, AST 2014, Hyderabad, India, May 31 - June 1, 2014, pp. 8-14, 2014, ACM, 978-1-4503-2858-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
39 | Kshirasagar Naik, Yasir Ali, Veluppillai Mahinthan, Ajit Singh, Abdulhakim Abogharaf |
Categorizing configuration parameters of smartphones for energy performance testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 9th International Workshop on Automation of Software Test, AST 2014, Hyderabad, India, May 31 - June 1, 2014, pp. 15-21, 2014, ACM, 978-1-4503-2858-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
39 | Damodaram Kamma, Pooja Maruthi |
Effective unit-testing in model-based software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 9th International Workshop on Automation of Software Test, AST 2014, Hyderabad, India, May 31 - June 1, 2014, pp. 36-42, 2014, ACM, 978-1-4503-2858-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
39 | Hong Zhu 0002, Henry Muccini, Zhenyu Chen 0001 (eds.) |
8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![IEEE Computer Society, 978-1-4673-6161-3 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
39 | Oleksii Starov, Sergiy Vilkomir |
Integrated TaaS platform for mobile development: Architecture solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 1-7, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Werner Janjic, Colin Atkinson 0001 |
Utilizing software reuse experience for automated test recommendation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 100-106, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Redge Bartholomew |
An industry proof-of-concept demonstration of automated combinatorial test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 118-124, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Giovanni Denaro, Mauro Pezzè, Mattia Vivanti |
Quantifying the complexity of dataflow testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 132-138, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Alpana Dubey, Pvr Murthy |
Computation and visualization of cause-effect paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 139-145, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Sebastian Eder, Benedikt Hauptmann, Maximilian Junker, Elmar Jürgens, Rudolf Vaas, Karl-Heinz Prommer |
Did we test our changes? Assessing alignment between tests and development in practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 107-110, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Kai Pan, Xintao Wu, Tao Xie 0001 |
Automatic test generation for mutation testing on database applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 111-117, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Donia El Kateb, Yehia ElRakaiby, Tejeddine Mouelhi, Yves Le Traon |
Access control enforcement testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 64-70, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Paolo Tonella, Cu Duy Nguyen, Alessandro Marchetto 0001, Kiran Lakhotia, Mark Harman |
Automated generation of state abstraction functions using data invariant inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 75-81, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Xiaoying Bai, Muyang Li, Xiaofei Huang, Wei-Tek Tsai, Jerry Zeyu Gao 0002 |
Vee@Cloud: The virtual test lab on the cloud. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 15-18, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Chin-Yun Hsieh, Chen-Hsin Tsai, Yu Chin Cheng |
Test-Duo: A framework for generating and executing automated acceptance tests from use cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 89-92, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Josip Bozic, Franz Wotawa |
XSS pattern for attack modeling in testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 71-74, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Andreza M. F. V. de Castro, Gisele Macedo, Eliane F. Collins, Arilo Claudio Dias-Neto |
Extension of Selenium RC tool to perform automated testing with databases in web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 125-131, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Everton L. G. Alves, Patrícia D. L. Machado, Tiago Massoni, Samuel T. C. Santos |
A refactoring-based approach for test case selection and prioritization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 93-99, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Paulo Moura, Fabio Kon |
Automated scalability testing of software as a service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 8-14, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Changjiang Jia, Wing Kwong Chan |
Which compiler optimization options should I use for detecting data races in multithreaded programs? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 53-56, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Francesco De Angelis 0001, Daniele Fanì, Andrea Polini |
ParTes: A test generation strategy for choreography participants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 26-32, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Jochen Schimmel, Korbinian Molitorisz, Ali Jannesari, Walter F. Tichy |
Automatic generation of parallel unit tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 40-46, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Hong Zhu 0002, Henry Muccini, Zhenyu Chen 0001 |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. iii-iv, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Yan Hu, Jun Yan 0009, Jian Zhang 0001, He Jiang 0001 |
Profile directed systematic testing of concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 47-52, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Wei-Tek Tsai, Charles J. Colbourn, Jie Luo 0004, Guanqiu Qi, Qingyang Li, Xiaoying Bai |
Test algebra for combinatorial testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 19-25, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Mohammad Asif, Y. Raghu Reddy |
JIFFY: A framework for encompassing aspects in testing and debugging software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 146-149, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Andrea Avancini, Mariano Ceccato |
Security testing of the communication among Android applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 57-63, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Seema Jehan, Ingo Pill, Franz Wotawa |
Functional SOA testing based on constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 33-39, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Melanie Diepenbeck, Mathias Soeken, Daniel Große, Rolf Drechsler |
Towards automatic scenario generation from coverage information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18-19, 2013, pp. 82-88, 2013, IEEE Computer Society, 978-1-4673-6161-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
39 | Daniel Hoffman, John Hughes 0001, Dianxiang Xu (eds.) |
7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![IEEE Computer Society, 978-1-4673-1821-1 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
39 | Henry Muccini, Antonio Di Francesco, Patrizio Esposito |
Software testing of mobile applications: Challenges and future research directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012, pp. 29-35, 2012, IEEE Computer Society, 978-1-4673-1821-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Santo Carino, James H. Andrews, Sheldon Goulding, Pradeepan Arunthavarajah, Tony Florio, Jakub Hertyk |
BlackHorse: Creating smart test cases from brittle recorded tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012, pp. 89-95, 2012, IEEE Computer Society, 978-1-4673-1821-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Niels Hallenberg, Philip Lykke Carlsen |
Declarative automated test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012, pp. 96-102, 2012, IEEE Computer Society, 978-1-4673-1821-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Giovanni Denaro |
All-values symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012, pp. 138-144, 2012, IEEE Computer Society, 978-1-4673-1821-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti, Fabio Martinelli, Paolo Mori |
Testing of PolPA authorization systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012, pp. 8-14, 2012, IEEE Computer Society, 978-1-4673-1821-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Raphael Pham, Helge Holzmann, Kurt Schneider, Christian Brüggemann |
Beyond plain video recording of GUI tests: Linking test case instructions with visual response documentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012, pp. 103-109, 2012, IEEE Computer Society, 978-1-4673-1821-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Eliane Figueiredo Collins, Vicente Ferreira de Lucena |
Software Test Automation practices in agile development environment: An industry experience report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012, pp. 57-63, 2012, IEEE Computer Society, 978-1-4673-1821-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | TheAnh Do, Alvis Cheuk M. Fong, Russel Pears |
Scalable automated test generation using coverage guidance and random search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012, pp. 71-75, 2012, IEEE Computer Society, 978-1-4673-1821-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Valentin Chimisliu, Franz Wotawa |
Category Partition Method and Satisfiability Modulo Theories for test case generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012, pp. 64-70, 2012, IEEE Computer Society, 978-1-4673-1821-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
39 | Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Muhammad Ali |
G-RankTest: Regression testing of controller applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST ![In: 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012, pp. 131-137, 2012, IEEE Computer Society, 978-1-4673-1821-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 732 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|