-
Notifications
You must be signed in to change notification settings - Fork 8
add Poster ICST25 Tim #135
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
SundermannC
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Overall, PR is already in decent shape. I found some small issues that should be easy to fix.
MYabrv.bib
Outdated
| @String{AAAI = "Proc.\ Conf.\ on Artificial Intelligence (AAAI)"} | ||
| @String{AAMAS = "Proc.\ Int'l Conf.\ on Autonomous Agents and Multiagent Systems (AAMAS)"} | ||
| @String{ABZ = "Proc.\ Int'l Conf.\ on Abstract State Machines, Alloy, B and Z (ABZ)"} | ||
| @String{AICCSA = "Proc. \ ACS/IEEE \ Int'l Conf. \ on Computer Systems and Application (AICCSA)" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Enclosing bracket missing. Probably the reason for the failing CI test.
literature.bib
Outdated
| howpublished = Poster, | ||
| month = MAR, | ||
| year = 2025, | ||
| note = ToAppear#{Poster at International Conference on Software Testing, Verification and Validation} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is this correct syntax? Not familiar with this.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think so but I am not sure either. @skrieter help!
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
yes, that is correct
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
One further note: As # is just the concatenation, it should be something like ToAppear#{, Poster ... to be shown correctly.
literature.bib
Outdated
| doi = {10.1145/3646548.3676538} | ||
| } | ||
|
|
||
| @inproceedings{PKT+:SPLC24, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
PKTS? I think with exactly 4 authors we list all names in the tag.
literature.bib
Outdated
| address = NY, | ||
| doi = {10.1145/3646548.3672589}, | ||
| booktitle = SPLC, | ||
| pages = {47–53}, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Wrong - symbol I think.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Yes, use --. ACM wrongly uses the unicode dash in the BibTeX entries from their website, which is annoying.
literature.bib
Outdated
| @inproceedings{ASP+:ICDM23, | ||
| author={Abolfazli, Amir and Spiegelberg, Jakob and Palmer, Gregory and Anand, Avishek}, | ||
| title={{A Deep Reinforcement Learning Approach to Configuration Sampling Problem}}, | ||
| booktitle={ICDM}, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Variable for ICDM? Remove brackets?
literature.bib
Outdated
| location = {Athens, Greece} | ||
| } | ||
|
|
||
| @article{FVD+:JSS21, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Also four authors -> FVDF
literature.bib
Outdated
| pages={93--108}, | ||
| year=2015, | ||
| month=SEP, | ||
| organization={Springer} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
use variable
literature.bib
Outdated
| journal={A Systematic Review. ICSOFT (1)}, | ||
| pages={23--30}, | ||
| year=2009, | ||
| publisher={Citeseer} |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do we have a variable for that?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
No, but Citeseer is only a search platform
The correct publisher would be Springer
literature.bib
Outdated
| @article{LUV:ICSOFT09, | ||
| title={{Software Product Line Testing}}, | ||
| author={Lamancha, Beatriz P{\'e}rez and Usaola, Macario Polo and Velthius, Mario Piattini}, | ||
| journal={A Systematic Review. ICSOFT (1)}, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Does not look right
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
yes, something seems to be off
see here: https://dblp.org/rec/conf/icsoft/LamanchaPP10.html?view=bibtex
literature.bib
Outdated
| title={{Coverage Criteria for Logical Expressions}}, | ||
| year=2003, | ||
| pages={99-107}, | ||
| keywords={Logic testing;Automata;FAA;Software safety;Aerospace electronics;Software engineering;Software testing;Terminology;Formal specifications;Automatic testing}, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Change to colons to match other keywords entries?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
You mean commas?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Oops yes.
No description provided.